Adapting calculational logic to the undefined

Authors
Schieder, B Broy, M
Citation
B. Schieder et M. Broy, Adapting calculational logic to the undefined, COMPUTER J, 42(2), 1999, pp. 73-81
Citations number
23
Categorie Soggetti
Computer Science & Engineering
Journal title
COMPUTER JOURNAL
ISSN journal
00104620 → ACNP
Volume
42
Issue
2
Year of publication
1999
Pages
73 - 81
Database
ISI
SICI code
0010-4620(1999)42:2<73:ACLTTU>2.0.ZU;2-8
Abstract
We adapt the Dijkstra/Scholten calculational logic to partial functions in a way that preserves the fixed point rule.