Attribute Grammars and Their Applications

Document Type

Book Chapter

Publication Date

2009

Find in a Library

Catalog Record

Abstract

Attribute grammars are a framework for defining semantics of programming languages in a syntax-directed fashion. In this chapter, we define attribute grammars, and then illustrate their use for language definition, compiler generation, definite clause grammars, design and specification of algorithms, and so forth. Our goal is to emphasize its role as a tool for design, formal specification and implementation of practical systems, so our presentation is example rich.

DOI

10.4018/978-1-60566-026-4.ch046

Catalog Record

Share

COinS