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…

2013

The article is devoted to the methods of proving parallel programs correctness, that are based on the Hoare axiomatic system. In…

2012

The theory of concept lattice proposed by Wille has been generalized in three different ways based on binary formal contexts, and…

2008

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

2006

Review

2002

Review

2002

The C-light language is described, which is a representative subset of C. C-light permits deterministic expressions, limited use…

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…