Halting Still Standing - Programs versus Specifications.
Cornelis HuizingRuurd KuiperTom VerhoeffPublished in: UTP (2010)
Keyphrases
- recursive programs
- control flow
- delay insensitive
- multi agent
- computer programs
- formal specification
- program synthesis
- real time
- high level
- distributed systems
- logic programs
- software engineering
- information technology
- image sequences
- transformation rules
- intermediate level
- automatic programming
- information retrieval
- attribute grammars
- databases