A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

Georgian Vlad Saioc, Hans Hüttel

Research output: Contribution to journalConference article in JournalResearchpeer-review

Fingerprint

Dive into the research topics of 'A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages'. Together they form a unique fingerprint.

Computer Science

Keyphrases