The Formal Termination Problem for Programs with Finite ALGOL 68-Modes.
Hans LangmaackWolfram-Manfred LippeFranz WagnerPublished in: Inf. Process. Lett. (1979)
Keyphrases
- programming language
- computer programs
- unit length
- software engineering
- formal model
- object oriented concepts
- programming environment
- intermediate level
- real time
- formal representation
- mathematical theory
- finite automata
- term rewriting
- provably correct
- control structures
- java programs
- automatic programming
- formal models
- formal methods
- finite number
- expert systems