An extension of the program derivation format (1998)
by
A. J. M. Van Gasteren
,
A. Bijlsma
| Venue: | Programming Concepts and Methods (PROCOMET ’98). Chapman |
| Citations: | 3 - 0 self |
BibTeX
@INPROCEEDINGS{Gasteren98anextension,
author = {A. J. M. Van Gasteren and A. Bijlsma},
title = {An extension of the program derivation format},
booktitle = {Programming Concepts and Methods (PROCOMET ’98). Chapman},
year = {1998},
pages = {167--183},
publisher = {Chapman and Hall}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
AvG159/AB61 1 A convention is proposed for embedding program statements into Dijkstra’s calculus, with the aim of simplifying the stepwise construction of programs.
Citations
| 458 | Programming from Specifications - Morgan - 1994 |
| 215 | Predicate Calculus and Program Semantics - Dijkstra, Scholten - 1990 |
| 105 | A Logical Approach to Discrete Math - Gries, Schenider - 1993 |
| 48 | Programming: the derivation of algorithms - Kaldewaij - 1990 |
| 37 | Data refinement by calculation - Morgan, Gardiner |
| 18 | Transformational hierarchical reasoning - Grundy - 1996 |
| 4 | Een methode van programmeren, Academic service - Dijkstra, Feijen |
| 2 | Point-free substitution - Bijlsma, Scholten - 1996 |
| 1 | Simulating file operations: an exercise in calculational data refinement. Memorandum AB66 - Bijlsma - 1997 |
| 1 | Laws of data refinement. Acta Inf. 26, 287–308. 8 BIOGRAPHY A.J.M. van Gasteren received a master’s degree in mathematics, supervised by Edsger W. Dijkstra - Morris - 1989 |
| 1 | studied number theory with - Bijlsma - 1978 |
