Computation Calculus - Bridging a Formalization Gap

Authors:
Rutger M. Dijkstra
Affiliations:
-
Venue:
MPC '98 Proceedings of the Mathematics of Program Construction
Year:
1998

Citing 0
Cited 3

Calculational semantics: Deriving programming theories from equations by functional predicate calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)
Kleene getting lazy

Science of Computer Programming
The timer cascade: functional modelling and real time calculi

ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract