Sciweavers

PROCOMET
1998

An extension of the program derivation format

13 years 5 months ago
An extension of the program derivation format
A convention is proposed for embedding program statements into Dijkstra's calculus, with the aim of simplifying the stepwise construction of programs.
A. J. M. van Gasteren, A. Bijlsma
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where PROCOMET
Authors A. J. M. van Gasteren, A. Bijlsma
Comments (0)