Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
Abstract data typeAlgebraic semantics (computer science)Denotational semanticsExtended ML

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
MatchC: A Matching Logic Reachability Verifier Using the K Framework
2013
2013
The Value-Passing Calculus
  • Yuxi Fu
  • Theories of Programming and Formal Methods
  • 2013
  • Corpus ID: 5992525
A value-passing calculus is a process calculus in which the contents of communications are values chosen from some data domain… 
2011
2011
C-programs verification based on mixed axiomatic semantics
The mixed axiomatic semantics of the C-kernel language is described. This language is the kernel of a representative subset which… 
2010
2010
Axiomatic semantics of projection temporal logic programs†
In this paper, we investigate the axiomatic semantics of the projection temporal logic programming language MSVL. To this end, we… 
2008
2008
The Axiomatic Semantics of PDFD
The integration of formal, structured and object-oriented methodology is the focus in the field of software development… 
2008
2008
An Axiomatic Semantics for Functional Reactive Programming
Functional reactive programming (FRP) is a paradigm extending functional languages with primitives which operate on state… 
2006
2006
Extending separation logic with fixpoints and postponed substitution
2000
2000
Lived methodology: a situated discussion of 'truth and method' in interpretive information systems research
While interpretive information systems researchers are quick to reject normative accounts of managerial work in organisations… 
1992
1992
Axiomatic semantics of a hardware specification language
Formal hardware design verification is to examine whether a structural specification of a circuit meets its behavioral… 
1980
1980
The Syntactic Approach
Let us briefly recall what one understands by the term ‘axiomatic definition’. The axioms of a discipline contain primitive terms… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)