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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1975-2017
0204019752017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2009
2009
To avoid exponential explosion, program verifiers turn the program into a passive form before generating verification conditions… (More)
  • figure 4
  • figure 3
  • figure 2
  • table 1
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
JML is a behavioral interface specification language tailored to Java(TM). Besides pre- and postconditions, it also allows… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper presents Korat, a novel framework for automated testing of Java programs. Given a formal specification for a method… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 8
  • figure 10
Is this relevant?
1999
1999
We describe enhancements to the preand postcondition technique that help speci cations convey information more e ectively. Some… (More)
  • figure 5
  • figure 10
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In this paper, we propose a method for the automatic construction of an abstract state graph of an arbitrary system using the Pvs… (More)
Is this relevant?
1995
1995
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
Highly Cited
1994
Highly Cited
1994
I present several computational complexity results for propositional STRIPS planning, i.e., STRIPS planning restricted to ground… (More)
Is this relevant?
1993
1993
A notion of inverse commands is deened for a language with a weakest precondition semantics, permitting both demonic and angelic… (More)
Is this relevant?
1992
1992
We have augmented user interface objects (i.e. windows, menus, buttons, sliders, ets.) with preconditions that determine their… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?