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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

The purpose of the study is the identification of the relicts of middle Bulgharian epoch in the historical lexicon of the Chuvash…

2008

A new efficient algorithm is derived for the minimal period retiming by formal manipulation. Contrary to all previous algorithms…

2005

Some types of coupled Korteweg de-Vries (KdV) equations are derived from an atmospheric dynamical system. In the derivation…

2002

Dynamic program visualization, i.e. the visualization of the runtime behavior of a program as opposed to the static structure of…

Review

1998

Review

1998

Good enough evaluation methods are reviewed, including low volume statistical testing. High assurance software is viewed as…

1994

We investigate the use of positive linear and relevant logics to provide logical accounts of static process structure, and…

1994

Derivation replay was first proposed by Carbonell as a method of transferring guidance from a previous problemsolving episode to…

1989

Trata-se de uma proposta de analise de derivacao sufixai em portugues, que se contrapoe ao tratamento dado pelas gramaticas…

1987

A partial implementation of an abstract notation provides an implementation for some of the notations operations on some of the…

1984