JastAdd

swMATH1700MaRDI QIDQ14348FDOQ14348

Author name not available (Why is that?)

Described by source

• JastAdd -- an aspect-oriented compiler construction system.

Cited In (16)

• Formalising and Verifying Reference Attribute Grammars in Coq
• Improving type error messages for generic Java
• XMG 2: Describing Description Languages
• An on-the-fly grammar modification mechanism for composing and defining extensible languages
• Declarative rewriting through circular nonterminal attributes
• Circular reference attributed grammars - their evaluation and applications
• Title not available (Why is that?)
• Implementing type systems for the IDE with Xsemantics
• Preventing injection attacks with syntax embeddings
• Incremental programming language development
• Implementation of a modelica compiler using JastAdd attribute grammars
• Zipping strategies and attribute grammars
• The JastAdd system - modular extensible compiler construction
• Title not available (Why is that?)
• Silver: an extensible attribute grammar system
• Zipper-Based Attribute Grammars and Their Extensions

This page was built for software: JastAdd