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

Full description

Bibliographic Details

Published in:	2022 Formal Methods in Computer-Aided Design (FMCAD) pp. 304 - 314
Main Authors:	Kalita, Pankaj Kumar, Kumar, Miriyala Jeevan, Roy, Subhajit
Format:	Conference Proceeding
Language:	English
Published:	FMCAD Association and authors 18.10.2022
Subjects:	Attribute grammar C languages Codes Design automation Java Measurement Production Program synthesis Semantic actions Semantics Syntax directed definition
ISSN:	2708-7824
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!