The Semantics of SPECTRUM

Authors:
Radu Grosu;Franz Regensburger
Affiliations:
-;-
Venue:
HOA '93 Selected Papers from the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting
Year:
1993

Citing 0
Cited 1

HASCASL: Towards Integrated Specification and Development of Functional Programs

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract