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...

Mô tả đầy đủ

Chi tiết về thư mục

Tác giả chính:	García-Garland, Juan (author)
Định dạng:	masterThesis
Ngôn ngữ:	Tiếng Anh
Được phát hành:	2022
Những chủ đề:	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
Truy cập trực tuyến:	https://hdl.handle.net/20.500.12008/35114
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!