Refinement of parameterized algebraic specifications

Authors:
Yellamraju V. Srinivas
Affiliations:
Kestrel Institute, Palo Allto, CA
Venue:
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
Year:
1997

Citing 0
Cited 3

Semantics of First Order Parametric Specifications

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A New Architecture for Transformation-Based Generators

IEEE Transactions on Software Engineering
Maude's module algebra

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract