An 'Executable' Impredicative Semantics for the Ada Configuration.
A. BucciPaola InverardiSimone MartiniPublished in: Formal Aspects Comput. (1993)
Keyphrases
- logic programming
- attribute grammars
- formal semantics
- semantic information
- artificial intelligence
- formal specification
- control flow
- process algebra
- web services
- image sequences
- query processing
- logic programs
- data sets
- default reasoning
- neural network
- specification language
- nonmonotonic logics
- logical language
- databases