A Natural Deduction treatment of Operational Semantics

Authors:
Rod M. Burstall;Furio Honsell
Affiliations:
-;-
Venue:
Proceedings of the Eighth Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
1988

Citing 0
Cited 3

From operational semantics to abstract machines: preliminary results

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Encoding transition systems in sequent calculus

Theoretical Computer Science - Linear logic
Understanding Programming Languages

Minds and Machines

Quantified Score

Hi-index	0.00

Visualization

Abstract