Specifications of computer programs using Hoare tree formalism.
Joseph E. UrbanEdwin TowsterPublished in: ACM-SE (1977)
Keyphrases
- computer programs
- tree adjoining grammar
- programming language
- tree structure
- formal language
- human users
- turing test
- computer programming
- expert systems
- index structure
- knowledge representation
- transition systems
- software agents
- high level
- operational semantics
- data model
- human computer interaction
- computer hardware