Results 1 
1 of
1
Pointwise Relational Program Derivation
 jnoDI/UM Braga  LOGCOMP Workshop  [ 13
, 1999
"... The point free relational calculus has proved quite successful in the derivation of general programming principles [1, 5]. When applied to specific examples, however, it can be somewhat painful to use, due to the large number of combinators required. In this note, we explore the suggestion that for ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The point free relational calculus has proved quite successful in the derivation of general programming principles [1, 5]. When applied to specific examples, however, it can be somewhat painful to use, due to the large number of combinators required. In this note, we explore the suggestion that for specific examples, it may be preferable to conduct relational derivations of concrete programs in a pointwise calculus of nondeterministic mappings. The presentation is is largely informal: we introduce concepts and notations through an example, and we do not spell out a formal semantics of the calculus.