Skip to search formSkip to main contentSkip to account menu

Postcondition

Known as: Advertised promise, Post-condition, Postconditions 
In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or… 
Wikipedia (opens in a new tab)

Related topics

Related topics

34 relations
AP Computer Science AAssertion (software development)Assertion definition languageAxiomatic semantics

Broader (2)

Formal methodsLogic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Extracting Action and Event Semantics from Web Text
Most information extraction research identifies the state of the world in text, including the entities and the relationships that… 
2010
2010
VeriFast: Imperative Programs as Proofs
This paper describes the VeriFast prototype program verification tool, which implements a separation-logic-based approach for the… 
2009
2009
Efficient Testing of Service-Oriented Applications Using Semantic Service Stubs
Service-oriented applications can be expensive to test because services are hosted remotely, are potentially shared among many… 
2009
2009
Refinement-Based Guidelines for Algorithmic Systems
The correct-by-construction approach can be supported by a progressive and incremental process controlled by the refinement of… 
2009
2009
Finding and exploiting goal opportunities in real-time during plan execution
Autonomous robots that operate in real-world domains face multiple challenges that make planning and goal selection difficult… 
1995
1995
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report
We apply Dijkstra's semantics for programming languages to formalization of reasoning about action and change. The basic idea is… 
1995
1995
An Abstract Account of Composition
We present a logic of specifications of reactive systems. The logic is independent of particular computational models, but it… 
Review
1992
Review
1992
TEMPO: a software process model based on object context behavior
Recent work on software processes has produced a considerable amount of detailed information which renders the software life… 
1989
1989
The upsilon-Calculus as an Assertion-Language for Fairness Arguments
1984
1984
Towards multi-level and modular conceptual schema specifications
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)