Report on the Language Knit:
A Component Definition
and Linking Language
Version 1.0.0

Alastair Reid
School of Computing
University of Utah
http://www.cs.utah.edu/flux/

February 2001
Copyright © 2000, 2001 The University of Utah. Permission is granted to make and distribute verbatim copies of this document provided the copyright notice and this permission notice are preserved on all copies. Modified versions of this document may be copied and distributed with the additional condition that the entire resulting derived work is distributed under the terms of a permission notice identical to this one.
Contents
1 Report
 1.1 Introduction
 1.2 Lexical Structure
 1.3 Basic Semantic Concepts: Objects, Bundles, and Types
 1.4 Definitions, Files, and Directives
 1.5 Bundletypes
 1.6 Source Code
 1.7 Object Sets
 1.8 Constraints
 1.9 Initializers, Finalizers, and Dependencies
 1.10 Units
 1.11 Flattening
 1.12 Experimental Features
 1.13 Compilation
 1.14 Scheduling
A Syntax
 A.1 Lexical Structure
 A.2 Context Free Syntax