An Algebraic Language Processing Environment

Authors:
Teodor Rus;Tom Halverson;Eric Van Wyk;Robert Kooima
Affiliations:
-;-;-;-
Venue:
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Year:
1997

Citing 0
Cited 3

Generating Model Checkers from Algebraic Specifications

Formal Methods in System Design
Specification languages in algebraic compilers

Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Meta Languages in Algebraic Compilers

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract