Axiomatic semantics

Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Many semantic theories implicitly attribute a foundational status to set theory, and set-theoretic characterisations of possible… (More)
Is this relevant?
2011
2011
The mixed axiomatic semantics of the C-kernel language is described. This language is the kernel of a representative subset which… (More)
Is this relevant?
2008
2008
The integration of formal, structured and object-oriented methodology is the focus in the field of software development… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2006
2006
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g… (More)
Is this relevant?
2000
2000
We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java. This axiomatic semantics has… (More)
Is this relevant?
2000
2000
We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java. In particular, we present… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We present a formalization of the first 100 pages of Winskel's textbook The Formal Semantics of Programming Languages in the… (More)
Is this relevant?
1996
1996
This paper describes a small object-oriented programming language and its axiomatic semantics. The language includes common… (More)
Is this relevant?
1990
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary… (More)
Is this relevant?
1984
1984
A simple definition of the axiomatic semantics of Communicating Sequential Processes is presented. The most important aspect of… (More)
Is this relevant?