A Common Compiler for LOTOS and SDL Specifications.
Carl BindingWiet BoumaMichel DauphinGünter KarjothYan YangPublished in: IBM Syst. J. (1992)
Keyphrases
- code generation
- formal specification language
- formal specification
- delay insensitive
- general purpose
- temporal ordering
- programming language
- high level
- specification language
- distributed memory machines
- software systems
- formal methods
- attribute grammars
- formal verification
- control flow
- genetic algorithm
- relational databases
- expert systems
- case study
- information systems