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.

2015

We describe a method for translating programs with loops and mutable data structures to first-order theories with quantifiers…

2015

Nowadays, due to software sophistication, programs correctness is more often proved by means of formal veriﬁcation. The method of…

2011

The IEEE P1600.1 Standard Upper Ontology (SUO) project aims to specify an upper ontology that will provide a structure and a set…

2010

2009

The so-called Postulates for Axiomatic Functionalism represent the theoretical basis of a semiotic/linguistic approach known as…

2008

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

2006

To inspire designers to do creative design more effectively, a conceptual design process was proposed based on Axiomatic Design…

2000

We introduce a Hoare-style calculus for a nearly full subset of sequential Java, which we call Java. In particular, we present…

1969

Let p: $ -+ £ be a sheaf (espace etale) of abelian groups. Applying singular functor S one obtains a simplicial map tt: A-> X…

Review

1960

Review

1960

Because of the axiom of regularity, von Neumann's construction of the ordinals (1923) can be given in chapter 5 the simple…