A Theorem Proving Approach to Programming Language Semantics.
Subhajit RoyPublished in: SEET@ICSE (2023)
Keyphrases
- programming language
- theorem proving
- denotational semantics
- logic programming
- specification language
- programming language constructs
- predicate calculus
- first order logic
- decision procedures
- database languages
- theorem prover
- inference rules
- object oriented
- automated reasoning
- general purpose
- term rewriting
- strongly typed
- formal semantics
- high level
- proof planning
- software engineering
- parallel search
- model theoretic
- geometry theorem proving
- object oriented programming
- fluent calculus
- proof procedure
- consequence finding
- programming environment
- domain specific languages
- answer set programming
- abstract data types
- computer programs
- functional language
- proof search
- high level programming language
- artificial intelligence