Skip to search formSkip to main contentSkip to account menu

Program derivation

In computer science, program derivation is the derivation of a program from its specification, by mathematical means. To derive a program means to… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2015
Review
2015
This review describes the events leading up to the discovery of the Kerr metric in 1963 and the enormous impact the discovery has… 
2007
2007
  • D. MurphyM. Beeson
  • IEEE Transactions on Audio, Speech, and Language…
  • 2007
  • Corpus ID: 17208240
The digital waveguide mesh is a discrete-time simulation used to model acoustic wave propagation through a bounded medium. It can… 
Highly Cited
2001
Highly Cited
2001
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2001. 
Review
2000
Review
2000
Gamma was originally proposed in 1986 as a formalism for the definition of programs without artificial sequentiality. The basic… 
Highly Cited
1999
Highly Cited
1999
Explicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying… 
Highly Cited
1996
Highly Cited
1990
Highly Cited
1990
1980
1980
We explore techniques for systematically deriving programs from specifications. The goal of this exploration is a better… 
Highly Cited
1976