Modular first-order specifications of operational semantics

Authors:
Harald Ganzinger
Affiliations:
-
Venue:
on Programs as data objects
Year:
1986

Citing 0
Cited 1

Integrating Domain Specific Language Design in the Software Life Cycle

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract