Synthesis of Semantic Actions in Attribute Grammars

Attribute grammars allow the association of semantic actions to the production rules in context-free grammars, providing a simple yet effective formalism to define the semantics of a language. However, drafting the semantic actions can be tricky and a large drain on developer time. In this work, we...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2022 Formal Methods in Computer-Aided Design (FMCAD) S. 304 - 314
Hauptverfasser:	Kalita, Pankaj Kumar, Kumar, Miriyala Jeevan, Roy, Subhajit
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	FMCAD Association and authors 18.10.2022
Schlagworte:	Attribute grammar C languages Codes Design automation Java Measurement Production Program synthesis Semantic actions Semantics Syntax directed definition
ISSN:	2708-7824
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!