CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Attribute grammars in Erlang

Ulf Norell (Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)) ; Alex Gerdes (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Proceedings of the Fourteenth ACM SIGPLAN Workshop on Erlang p. 1-12. (2015)
[Konferensbidrag, refereegranskat]

Attribute grammars provide a modular way of defining functions over tree-shaped data, allowing each aspect of the computation to be defined as a separate attribute. We present the design and implementation of an attribute grammar system for Erlang that lets you define attributes elegantly using a special purpose syntax. In addition to the tree traversals supported by traditional attribute grammar systems, our system also provides unfold operations that makes it possible to use attributes when constructing data. Our attributes can be used to write QuickCheck generators.

Nyckelord: Attribute grammar, Erlang, data generation, QuickCheck



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2016-01-20. Senast ändrad 2017-06-28.
CPL Pubid: 231039

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)