Inference Rules for Programming Languages with Side Effects in Expressions.
Paul E. BlackPhillip J. WindleyPublished in: TPHOLs (1996)
Keyphrases
- programming language
- inference rules
- general purpose
- strongly typed
- object oriented
- theorem proving
- high level
- first order logic
- theorem prover
- software engineering
- programming environment
- modal logic
- logic programming
- lambda calculus
- database languages
- denotational semantics
- logic programming language
- conditional probabilities
- specification language
- object oriented concepts
- natural deduction
- databases
- xml documents
- natural language
- expressive power
- language constructs