From mathematical logic to programming-language semantics: a discussion with Tony Hoare.
Edgar G. DaylightPublished in: J. Log. Comput. (2015)
Keyphrases
- programming language
- logic programming
- denotational semantics
- database languages
- programming language constructs
- specification language
- lambda calculus
- object oriented
- deductive databases
- logic programming language
- general purpose
- database language
- concurrent programming
- high level
- object oriented programming
- programming environment
- formal semantics
- software engineering
- strongly typed
- constraint logic programming
- domain specific languages
- active rules
- computer programs
- answer set programming
- semantic data models
- logical framework
- databases
- default logic
- model theoretic
- fluent calculus
- object oriented concepts
- operational semantics
- data abstraction
- logic programs
- artificial intelligence