Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Attribute grammars have shown themselves to be a useful formalism for specifying the syntax and the static semantics of programming languages. They are also useful for implementing syntax-directed editors, compilers, translator writing systems and compiler generators, and any application that has a strong syntactic base. However, no textbooks are available that cover the entire field. To redress this imbalance, anInternational Summer School on Attribute Grammars, Applications and Systems was held in Prague, Czechoslovakia in June 1991. The course aimed at teaching the state of the art in attribute grammars, and their relation to other language specification methods. This volume presents the proceedings of the school. The papers are well suited for self-study, and a selection of them can be used for introductory courses in attribute grammars.

Programming languages (Electronic computers) --- -Programming languages (Electronic computers) --- -681.3*F42 --- Programming language semantics --- Semantics --- Syntax --- Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F42 Grammars and other rewriting systems: decision problems; grammar types; parallel rewriting systems; parsing; thue systems (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F42 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Semantics&delete& --- Congresses --- Syntax&delete& --- Programming languages (Electronic computers) - Semantics - Congresses. --- Programming languages (Electronic computers) - Syntax - Congresses. --- Computer science. --- Software engineering. --- Logic, Symbolic and mathematical. --- Computer aided design. --- Mathematical Logic and Formal Languages. --- Software Engineering/Programming and Operating Systems. --- Mathematical Logic and Foundations. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Computer-Aided Engineering (CAD, CAE) and Design. --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer software engineering --- Engineering --- Informatics --- Science