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.
2006
2006
New whole-rock geochemical analyses (major and trace elements) of three tonalite plutons and high Mg/Fe granodiorites and… 
1998
1998
The paper concerns shape functions formulations in the scope of the recent methods generalizing finite elements and whose common… 
1991
1991
A simple extension of Tarski’s calculus of binary relations is shown to have the expressive power of first-order logic. In… 
Highly Cited
1990
Highly Cited
1990
We present a method to find mappings of systolic algorithms that use the minimal number of processors. This method is based on… 
1989
1989
Universite de Bourgogne*Ecole Polytechnique FederaleDepartement InformatiqueDepartement d'Informatique - LBDB.P. 138 EcublensF… 
1989
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs… 
Highly Cited
1988
Highly Cited
1988
SummaryA calculus of program refinements is described, to be used as a tool for the step-by-step derivation of correct programs… 
1980
1980
We explore techniques for systematically deriving programs from specifications. The goal of this exploration is a better… 
Highly Cited
1976