GraphRedex: Look at your research

A significant aspect of designing new programming languages is to define their operational semantics. Working with a pen and paper version of such a semantics is notoriously difficult. For this reason, tools for computer aided semantics engineering were created. Many of these tools allow programmers...

Full description

Saved in:

Bibliographic Details
Published in:	Software, practice & experience Vol. 51; no. 6; pp. 1322 - 1351
Main Authors:	Gurdeep Singh, Robbert, Scholliers, Christophe
Format:	Journal Article
Language:	English
Published:	Bognor Regis Wiley Subscription Services, Inc 01.06.2021
Subjects:	Exploration Graphs Open source software operational semantics PLT Redex Programming languages Reduction Semantics semantics engineering state explosion tooling visualization
ISSN:	0038-0644, 1097-024X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!