Systematic debugging method for attribute grammar description

DOI10.1016/S0020-0190(97)00079-3MaRDI QIDQ287103zbMATH OpenFDO

Authors Masataka Sassa, Takuya Ookubo

Publication date 26 May 2016

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0020-0190(97)00079-3

zbMATH Keywords

algorithmic debuggingattribute grammarcompilersdebuggingformal semantics

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Cites work

• An order-algebraic definition of knuthian semantics
• Attribute Grammars and Mathematical Semantics
• Attribute grammars and recursive program schemes. I. II
• Attribute grammars. Definitions, systems and bibliography
• Passes, sweeps, and visits in attribute grammars
• Simple multi-visit attribute grammars
• Systematic debugging method for attribute grammar description
• Translation of attribute grammars into procedures

Cited in

(1)

• Systematic debugging method for attribute grammar description

This page was built for publication: Systematic debugging method for attribute grammar description

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q287103)