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)

Related topics

Related topics

8 relations
Bird–Meertens formalismCarroll Morgan (computer scientist)Computer scienceCorrectness (computer science)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Non-intrusive model derivation: automated modeling of residential electrical loads
A variety of energy management and analytics techniques rely on models of the power usage of a device over time. Unfortunately… 
Review
2008
Review
2008
Driving Potentials of Heat and Mass Transport in Porous Building Materials: A Comparison Between General Linear, Thermodynamic and Micromechanical Derivation Schemes
In systems of coupled transport processes the question of the appropriate driving potentials is a point of discussion. In this… 
Highly Cited
2002
Highly Cited
2002
Impact of land use changes on water dynamics––a case study in temperate meso and macroscale river basins
1998
1998
Consistency approach and diffuse derivation in element free methods based on moving least squares approximation
The paper concerns shape functions formulations in the scope of the recent methods generalizing finite elements and whose common… 
1997
1997
Program derivation via list introduction
We present a new program transformation strategy based on the introduction of lists. This strategy overcomes some of the… 
1991
1991
A finitary relational algebra for classical first-order logic
A simple extension of Tarski’s calculus of binary relations is shown to have the expressive power of first-order logic. In… 
1989
1989
An ER Calculus for the Entity-Relationship Complex Model
Universite de Bourgogne*Ecole Polytechnique FederaleDepartement InformatiqueDepartement d'Informatique - LBDB.P. 138 EcublensF… 
Highly Cited
1988
Highly Cited
1988
A calculus of refinements for program derivations
SummaryA calculus of program refinements is described, to be used as a tool for the step-by-step derivation of correct programs… 
1980
1980
Expression procedures and program derivation
We explore techniques for systematically deriving programs from specifications. The goal of this exploration is a better… 
Highly Cited
1976
Highly Cited
1976
Behaviour/structure transformations under uncertainty
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)