An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications.
Chia-Chu ChiangPublished in: ITCC (2) (2005)
Keyphrases
- formal language
- operational semantics
- programs written
- specification language
- concurrent programming
- formal descriptions
- formal specification
- controlled natural language
- programming language
- recursive programs
- computer programs
- formal languages
- programming environment
- natural language
- visual languages
- intended meaning
- formal semantics
- modelling language
- precisely defined
- requirements specification
- program synthesis
- reactive systems
- highly expressive
- high level
- control flow
- modeling language
- representation language
- formal methods
- program execution
- semantically equivalent
- execution traces
- data model
- attribute grammars
- mathematical theory
- language learning
- conceptual models
- conceptual graphs