Abstract | ||
---|---|---|
A convention is proposed for embedding program statements into Dijkstra's calculus, with the aim of simplifying the stepwise construction of programs. |
Year | Venue | Keywords |
---|---|---|
1998 | PROCOMET | data refinement.,program derivation format,program derivation,predicate calculus |
Field | DocType | ISBN |
Embedding,Programming language,Convention,Computer science,First-order logic,Program derivation | Conference | 0-412-83760-9 |
Citations | PageRank | References |
2 | 0.39 | 6 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. J. M. van Gasteren | 1 | 247 | 34.99 |
A. Bijlsma | 2 | 36 | 7.02 |