A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment.
Norbert SchirmerPublished in: Arch. Formal Proofs (2008)
Keyphrases
- programming language
- denotational semantics
- programming environment
- logic programming
- domain specific languages
- specification language
- high level
- language constructs
- general purpose
- database language
- programming language constructs
- object oriented
- database languages
- object oriented programming
- software engineering
- strongly typed
- fluent calculus
- program code
- computer programs
- operational semantics
- model checking
- semantic data models
- functional language
- data abstraction
- database
- test cases
- epistemic logic
- functional programming
- programs written
- stored procedures
- parallel algorithm