Operational and Mathematical Semantics for Recursive Polyadic Program Schemata.
Willem P. de RoeverPublished in: MFCS (1973)
Keyphrases
- conceptual schema
- formal semantics
- semantically equivalent
- intended meaning
- decision making
- control flow
- programming language constructs
- recursive programs
- logic programming
- semantic information
- neural network
- declarative semantics
- programming environment
- recursive queries
- mathematical expressions
- semantic web
- relational databases
- expert systems
- database systems
- databases