Predicate transformer semantics of a higher-order imperative language with record subtyping.
David A. NaumannPublished in: Sci. Comput. Program. (2001)
Keyphrases
- higher order
- logical language
- higher order logic
- operational semantics
- lambda calculus
- specification language
- intended meaning
- logic programming language
- highly expressive
- formal language
- definition language
- database query languages
- dynamic logic
- conceptual graphs
- formal semantics
- conditional logic
- programming language
- model theoretic
- denotational semantics
- speech acts
- language learning
- high order
- logic programming
- predicate calculus
- rule language
- fuzzy logic
- disjunctive logic programming
- action language
- natural language
- conceptual model
- database
- pairwise
- type checking
- first order logic
- proof theory
- algebraic operations
- closed world
- semantically equivalent
- natural images
- neural network
- markov random field
- modal operators
- expressive power
- aggregate functions
- relational structures