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.
2007
2007
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
Is this relevant?
2007
2007
Many tasks in source code analysis can be viewed as evaluating queries over a relational representation of the code. Here we… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The disturbance properties of high order iterative learning control (ILC) algorithms are considered. An error equation is… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • R. Freund
  • Workshop on Membrane Computing
  • 2004
  • Corpus ID: 7860331
In the area of P systems, applying the rules in a maximally parallel way is one of the most common features of many models… Expand
Is this relevant?
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
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2001. 
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
1980
1980
We explore techniques for systematically deriving programs from specifications. The goal of this exploration is a better… Expand
Is this relevant?