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...

Celý popis

Podrobná bibliografia

Vydané v:	Software, practice & experience Ročník 51; číslo 6; s. 1322 - 1351
Hlavní autori:	Gurdeep Singh, Robbert, Scholliers, Christophe
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Bognor Regis Wiley Subscription Services, Inc 01.06.2021
Predmet:	Exploration Graphs Open source software operational semantics PLT Redex Programming languages Reduction Semantics semantics engineering state explosion tooling visualization
ISSN:	0038-0644, 1097-024X
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!