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.
2019
2019
Sphere Drive and Control System for Haptic Interaction With Physical, Virtual, and Augmented Reality
A system for haptic interaction with physical, virtual, and augmented realities, founded on drive and measurement elements (DMEs… 
2014
2014
Electronic throttle controller design using a triple-step nonlinear method
For the electronic throttle control problem, a new nonlinear controller design method is proposed to improve the tracking control… 
2014
2014
Tool Support for Rigorous Formal Specification Inspection
A dependable system must be internally consistent. In order to implement a dependable system, any inconsistency in the design of… 
2014
2014
A new high order space derivative discretization for 3D quasi-linear hyperbolic partial differential equations
2008
2008
A new efficient retiming algorithm derived by formal manipulation
A new efficient algorithm is derived for the minimal period retiming by formal manipulation. Contrary to all previous algorithms… 
2006
2006
Whole-rock geochemistry of some tonalite and high Mg/Fe gabbro, diorite, and granodiorite plutons (sanukitoid suites) in the Kuhmo district, eastern Finland
New whole-rock geochemical analyses (major and trace elements) of three tonalite plutons and high Mg/Fe granodiorites and… 
2004
2004
Performance Analysis of High-Accuracy Tree Code Based on the Pseudoparticle Multipole Method
In this paper, we describe the performance and accuracy of the P2M2 tree code. The P2M2 tree code is a high-accuracy tree code… 
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… 
1996
1996
A result on derivations
Let R be a semiprime ring with a derivation d and let U be a Lie ideal of R, a Ef R. Suppose that ad(u)n = 0 for all u G U, where… 
1989
1989
Program Derivation Using Analogy
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs… 
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)