Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
2007
2007
  • D. Murphy, M. 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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Highly Cited
2002
Highly Cited
2002
Abstract The paper illustrates impact studies of land use changes on the water balance in meso and macroscale river basins… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 6
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… Expand
Highly Cited
1999
Highly Cited
1999
Explicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying… Expand
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Highly Cited
1998
Highly Cited
1998
It is a deceptively simple question to ask how acoustic disturbances propagate in a non-homogeneous flowing fluid. Subject to… Expand
1992
1992
Declaration This dissertation is the result of my own work and includes nothing which is the outcome of work done in… Expand
  • figure 3.2
  • figure 3.3
  • figure 3.5
  • figure 3.7
  • figure 3.8
Highly Cited
1989
Highly Cited
1989
Abstract This paper develops a transformational paradigm by which nonnumerical algorithms are treated as fixed point computations… Expand
  • table 1
  • table 2
1980
1980
We explore techniques for systematically deriving programs from specifications. The goal of this exploration is a better… Expand