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á bibliografie

Vydáno v:	Software, practice & experience Ročník 51; číslo 6; s. 1322 - 1351
Hlavní autoři:	Gurdeep Singh, Robbert, Scholliers, Christophe
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Bognor Regis Wiley Subscription Services, Inc 01.06.2021
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!