Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,214,947 papers from all fields of science
Search
Sign In
Create Free Account
Invariant-based programming
Known as:
Invariant Based Programming
Invariant-based programming is a programming methodology where specifications and invariants are written before the actual program statements…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Eiffel
For loop
Formal specification
Formal verification
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Invariant diagrams with data refinement
V. Preoteasa
,
R. Back
Formal Aspects of Computing
2011
Corpus ID: 253679364
Invariant based programming is an approach where we start to construct a program by first identifying the basic situations (pre…
Expand
2010
2010
Transformational Programming and the Derivation of Algorithms
Martin P. Ward
,
H. Zedan
International Symposium on Computer and…
2010
Corpus ID: 17565675
The transformational programming, method of algorithm derivation starts with a formal specification of the result to be achieved…
Expand
2007
2007
Teaching the Construction of Correct Programs Using Invariant Based Programming
R. Back
,
Johannes Eriksson
,
Linda Mannila
2007
Corpus ID: 16446857
In most computer science curricula, formal reasoning about program correctness is taught separately from practical programmi ng…
Expand
2005
2005
Tool support for invariant based programming
R. Back
,
Magnus O. Myreen
Asia-Pacific Software Engineering Conference
2005
Corpus ID: 15235006
Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well…
Expand