Next:
Introduction
Up:
paper
Previous:
(none)
Contents
The Vesta Software Description Language
Subsections
Introduction
Lexical Conventions
Meta-notation
Terminals
Semantics
Value Space
Type Declarations
Evaluation Rules
Expr
Literal
Id
List
Binding
Select
Block
Stmt
Assign
Iterate
FuncDef
FuncCall
Model
Files
Imports
Filename Interpretation
Primitives
Functions on Type t_bool
Functions on Type t_int
Functions on Type t_text
Functions on Type t_list
Functions on type t_binding
Special Purpose Functions
Type Manipulation Functions
Tool Invocation Function
Diagnostic Functions
Concrete Syntax
Grammar
Ambiguity Resolution
Tokens
Reserved Identifiers
Allan Heydon, Roy Levin, Timothy Mann, Yuan Yu
