Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,767 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Abstract data type
Algebraic semantics (computer science)
Denotational semantics
Extended ML
Expand
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Reasoning about Mutable Data Structures in First-Order Logic with Arithmetic : Lists and Binary Trees
Fangzhen Lin
2015
Corpus ID: 43367579
We describe a method for translating programs with loops and mutable data structures to first-order theories with quantifiers…
Expand
2013
2013
Category Theory Foundation For Engineering Modelling
Algos Associates
,
W. C. Street
2013
Corpus ID: 48624368
Category theory provides a formal foundation for engineering modelling, as well as, mathematics and science. Both structure and…
Expand
2011
2011
Semantic Integration in the IFF
R. Kent
arXiv.org
2011
Corpus ID: 6798456
The IEEE P1600.1 Standard Upper Ontology (SUO) project aims to specify an upper ontology that will provide a structure and a set…
Expand
2009
2009
POSTULATES FOR AXIOMATIC FUNCTIONALISM (
J. Mulder
,
S. Hervey
2009
Corpus ID: 124372879
The so-called Postulates for Axiomatic Functionalism represent the theoretical basis of a semiotic/linguistic approach known as…
Expand
2008
2008
An Axiomatic Semantics for Functional Reactive Programming
C. King
2008
Corpus ID: 182580631
Functional reactive programming (FRP) is a paradigm extending functional languages with primitives which operate on state…
Expand
2004
2004
Coverpage for Submission to Econometrica Date : August 29 , 2004 Title : Axiomatic Justi fi cation of Stable Equilibria
R. Wilson
2004
Corpus ID: 15437815
A solution concept that satisfies the axioms of weak invariance and strong backward induction selects a stable set of a game’s…
Expand
2002
2002
A (cid:26)xpoint theory for non-monotonic parallelism
Yifeng Chen
2002
Corpus ID: 267902809
This paper studies parallel recursion. The trace speci(cid:26)cation language used in this paper incorporates sequentially…
Expand
1969
1969
Stacks, costacks and axiomatic homology
Yuh-ching Chen
1969
Corpus ID: 26128788
Let p: $ -+ £ be a sheaf (espace etale) of abelian groups. Applying singular functor S one obtains a simplicial map tt: A-> X…
Expand
Review
1966
Review
1966
Review: Tadeusz Batog, A Contribution to Axiomatic Phonology
S. Kuroda
1966
Corpus ID: 117345126
Review
1960
Review
1960
Review: Robert R. Stoll, Sets, Logic, and Axiomatic Theories
A. Borgers
Journal of Symbolic Logic (JSL)
1960
Corpus ID: 117778844
Because of the axiom of regularity, von Neumann's construction of the ordinals (1923) can be given in chapter 5 the simple…
Expand