Specification and Transformation of Programs: A Formal Approach to Software Development

Authors:
David Gries
Affiliations:
-
Venue:
Specification and Transformation of Programs: A Formal Approach to Software Development
Year:
1990

Citing 0
Cited 2

A survey of strategies in rule-based program transformation systems

Journal of Symbolic Computation
Discovering process models from event multiset

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.01

Visualization

Abstract