Systematic debugging method for attribute grammar description

DOI10.1016/S0020-0190(97)00079-3zbMath1336.68040MaRDI QIDQ287103

Masataka Sassa, Takuya Ookubo

Publication date: 26 May 2016

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

zbMATH Keywords

formal semanticsdebuggingcompilersalgorithmic debuggingattribute grammar

Mathematics Subject Classification ID

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

Related Items (1)

Systematic debugging method for attribute grammar description

Cites Work

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

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