Modular and type-safe definition of Attribute Grammars with AspectAG

AspectAG is a Haskell-embedded domain-specific language (EDSL) that encodes first-class attribute grammars (AGs). AspectAG ensures the wellformedness of AGs at compile time by using extensible records and predicates encoded using old-fashioned type-level programming features, such as multiparameter...

Full description

Bibliographic Details

Main Author:	García-Garland, Juan (author)
Format:	masterThesis
Language:	English
Published:	2022
Subjects:	Type-level programming DSLs Error Handling Attribute Grammars Compiler Design Programaci on a nivel de tipos Lenguajes de dominio específico Manejo de errores Gramáticas de atributos Diseño de compiladores
Online Access:	https://hdl.handle.net/20.500.12008/35114
Tags:	Add Tag No Tags, Be the first to tag this record!