Generating Execution Facilities for Integrated Programming Environments |
Contents
Denotational Semantics | 14 |
SemanticsDirected Translation | 36 |
EDS for an Integrated Programming Environment | 79 |
2 other sections not shown
Common terms and phrases
abstract machine abstract syntax arguments attribute grammar begin returnval Christopher Strachey combinator definitions compiled code components constructs continuation semantics corresponding D₁ debugging decl defined deno denotation class denotation function denotation tree denotational definition denotational semantics described direct semantics DRes dynamic semantics EDS-generated interpreter elements elsif env store env([id EnvValue equations error error(errorval evaluation executable representation execution facilities expr expression expval Figure flow graph function domain higher-order functions identifier implementation incremental compilation incremental translation integrated programming environment interactive execution invoked loop machine code manipulations mapping meaning function Modula-2 object language opaque domain parameters parse tree Pascal pointers procedure call program execution programming language recursive result resuming execution return(returnval run-time semantic domains semantic functions stack statement denotation static semantics stmt structure sub-components sum domain syntactic syntactic category syntax tree syntax-directed editor Synthesizer tail recursive techniques tion type checking undefined update variable