The syntax definition formalism SDF - reference manual.
Jan HeeringP. R. H. HendriksPaul KlintJ. RekersPublished in: ACM SIGPLAN Notices (1989)
Keyphrases
- operational semantics
- definition language
- error prone
- semi automatic
- knowledge representation
- rule language
- high level
- clustering algorithm
- data structure
- conceptual model
- formal model
- situation calculus
- precisely defined
- databases
- context free grammars
- conceptual graphs
- reference frame
- theoretical framework
- expert systems
- natural language
- web services
- website