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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

2013

A value-passing calculus is a process calculus in which the contents of communications are values chosen from some data domain…

2011

The mixed axiomatic semantics of the C-kernel language is described. This language is the kernel of a representative subset which…

2010

In this paper, we investigate the axiomatic semantics of the projection temporal logic programming language MSVL. To this end, we…

2008

The integration of formal, structured and object-oriented methodology is the focus in the field of software development…

2008

Functional reactive programming (FRP) is a paradigm extending functional languages with primitives which operate on state…

2006

2000

While interpretive information systems researchers are quick to reject normative accounts of managerial work in organisations…

1992

Formal hardware design verification is to examine whether a structural specification of a circuit meets its behavioral…

1980

Let us briefly recall what one understands by the term ‘axiomatic definition’. The axioms of a discipline contain primitive terms…