Next:
Contents
Contents
Index
The TUNES System Specification
Brian T. Rice, Editor
Contents
1. Overview
1.1 Purpose
1.2 Scope
1.3 History
1.4 Document Conventions
1.4.1 Typography
1.4.2 Organization
1.5 Conformance
1.6 Subsets
2. The System
2.1 Introduction
2.2 Description
2.3 Requirements
2.3.1 Fully-Reflective
2.3.2 Unified
2.3.3 Verifiable
2.3.4 Higher-Order
2.3.5 Self-Extensible
2.3.6 Dynamic
2.3.7 Fine-Grained
2.3.8 Fault-Tolerant
2.3.9 Distributed
2.3.10 Scalable
3. Aspects
3.1 High-Level
3.1.1 Introduction
3.1.2 Types
3.1.3 Operations
3.2 Meta-Linguistic
3.2.1 Introduction
3.2.2 Types
3.2.3 Operations
3.3 Interface
3.3.1 Introduction
3.3.2 Types
3.3.3 Operations
3.4 Migration
3.4.1 Introduction
3.4.2 Types
3.4.3 Operations
3.5 Low-Level
3.5.1 Introduction
3.5.2 Types
3.5.3 Operations
4. Elements
4.1 High-Level
4.1.1 Objects
4.1.2 Attributions
4.1.3 Effects
4.1.4 Abstractions
4.1.5 Applications
4.2 Meta-Linguistic
4.2.1 Grammars
4.2.2 Evaluators
4.2.3 Dispatchers
4.2.4 Responders
4.2.5 Transformers
4.3 Interface
4.3.1 Terminals
4.4 Migration
4.5 Low-Level
5. Subsets
5.1 Definition
5.2 Core/Bootstrap Language Semantics
5.2.1 Introduction
5.2.2 Semantics
5.2.3 Syntax
5.3 T3P/TM3P Module Encoding Protocol
5.3.1 Introduction
5.4 Initial Standard Publication System
5.4.1 Introduction
Index
Bibliography
About this document ...
Brian Rice 2003-08-23
