Proceedings of the 6th International Conference on Mathematics of Program Construction

Authors:
Eerke A. Boiten;Bernhard Möller
Affiliations:
-;-
Venue:
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Year:
2002

Citing 0
Cited 2

Functional declarative language design and predicate calculus: a practical approach

ACM Transactions on Programming Languages and Systems (TOPLAS)
Calculational semantics: Deriving programming theories from equations by functional predicate calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract