Precondition

Known as: Advertised requirement, Pre-condition, Preconditions 
In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1969-2018
020040019692018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The precondition for an assertion within a procedure is useful for understanding, verifying and debugging programs. As the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Exploitingdomain specific information is a promising and perhaps essential means for improving the performance of AI planning… (More)
  • figure 1
  • table 1
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Program verification systems typically transform a program into a logical expression which is then fed to a theorem prover. The… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Desired computer-program properties can be described by logical formulas called verification conditions. Different mathematically… (More)
Is this relevant?
1998
1998
The lack of a method for developing programs from Z specifications is a widely recognized difficulty. In response to this problem… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
A method for computing a sparse incomplete factorization of the inverse of a symmetric positive definite matrix A is developed… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
This paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
One reason why Distributed AI (DAI) technology has been deployed in relatively few real-size applications is that it lacks a… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 6
  • figure 8
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We study the problem of creating a complete model of a physical object. Although this may be possible using intensity images, we… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?