Redex: Debugging Operational Semantics

Robert B. Findler, Casey Klein

Research output: Other contribution

Abstract

Manual
Original languageEnglish
StatePublished - 2004

Fingerprint Dive into the research topics of 'Redex: Debugging Operational Semantics'. Together they form a unique fingerprint.

Cite this