Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.
Giorgio LeviFranco SirovichPublished in: MFCS (1975)
Keyphrases
- procedural semantics
- pattern recognition
- logic programming
- structural properties
- rule based systems
- artificial intelligence
- high level
- data sets
- symbolic data
- evaluation model
- connectionist systems
- logical representation
- logical properties
- program execution
- evaluation process
- computer programs
- general purpose
- decision making
- databases