A metalogic programming approach: language, semantics and applications.
Stefania CostantiniGaetano Aurelio LanzaronePublished in: J. Exp. Theor. Artif. Intell. (1994)
Keyphrases
- programming language
- specification language
- denotational semantics
- logical language
- operational semantics
- object oriented programming
- intended meaning
- programming environment
- highly expressive
- logic programming language
- programming language constructs
- formal language
- logic programming
- scripting language
- oriented programming
- action language
- dynamic logic
- definition language
- model theoretic
- proof theory
- oracle pl sql
- java programming
- programming concepts
- general purpose
- predicate calculus
- conditional logic
- language constructs
- logic programs
- conceptual graphs
- database query languages
- fixed point semantics
- object oriented
- semantic representations
- formal semantics
- aggregate functions
- relational structures
- programs written
- speech acts
- concurrent programming
- deductive databases
- linguistic expressions
- language learning
- description logics
- natural language