attribute grammar

---

attribute grammar

Tag #attribute grammar

154 papers:

GPCE-2019-KramerKW

Reflection in attribute grammars (LK, TK, EVW), pp. 48–60.

SLE-2018-MeySHSKFOA #using #validation

Continuous model validation using reference attribute grammars (JM, RS, GH, ES, TK0, NF, JÖ, UA), pp. 70–82.

PPDP-2017-BartakM #constraints #domain model #framework #modelling #set

Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models (RB, AM), pp. 39–48.

SLE-2017-BuckleyS #formal method

A formalisation of parameterised reference attribute grammars (SJHB, AMS), pp. 139–150.

SLE-2017-OqvistH #concurrent

Concurrent circular reference attribute grammars (JÖ, GH), pp. 151–162.

OOPSLA-2016-SteimannHU #constraints #source code #using

Computing repair alternatives for malformed programs using constraint attribute grammars (FS, JH, BU), pp. 711–730.

PEPM-2015-BinsbergenBD #automation #dependence #order

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.

SLE-2015-Burger #graph grammar #motivation #overview #perspective

Reference attribute grammar controlled graph rewriting: motivation and overview (CB), pp. 89–100.

TACAS-2015-BransenBCD #order #scheduling #using

Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving (JB, LTvB, KC, AD), pp. 289–303.

OOPSLA-2014-RendelBO #algebra

From object algebras to attribute grammars (TR, JIB, KO), pp. 377–395.

PEPM-2014-BransenDS #incremental #lazy evaluation

Lazy stateless incremental evaluation machinery for attribute grammars (JB, AD, SDS), pp. 145–156.

PEPM-2014-MartinsSFW #bidirectional #generative #grammarware

Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.

SLE-J-2012-KrishnanW #analysis #composition #higher-order #termination

Monolithic and modular termination analyses for higher-order attribute grammars (LK, EVW), pp. 511–526.

SLE-J-2012-SloaneR #domain-specific language #profiling #term rewriting

Domain-specific program profiling and its application to attribute grammars and term rewriting (AMS, MR), pp. 488–510.

SLE-2014-WilliamsW

Origin Tracking in Attribute Grammars (KW, EVW), pp. 282–301.

GT-VMT-2013-ForsH #editing #reuse #semantics #visual notation

Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars (NF, GH).

LDTA-J-2009-SloaneKV

A pure embedding of attribute grammars (AMS, LCLK, EV), pp. 1752–1769.

SLE-2013-SoderbergH #higher-order

Circular Higher-Order Reference Attribute Grammars (ES, GH), pp. 302–321.

PPoPP-2013-MeyerovichTAB #parallel #synthesis

Parallel schedule synthesis for attribute grammars (LAM, MET, EA, RB), pp. 187–196.

CBSE-2012-KarolBA #composition #towards

Towards well-formed fragment composition with reference attribute grammars (SK, CB, UA), pp. 109–114.

PADL-2012-BransenMDS #algorithm

The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.

LDTA-2012-VieraSM #how

UUAG meets AspectAG: how to make attribute grammars first-class (MV, SDS, AM), p. 6.

SLE-2012-KaminskiW #analysis #composition

Modular Well-Definedness Analysis for Attribute Grammars (TK, EVW), pp. 352–371.

SLE-2012-KrishnanW #analysis #higher-order #termination

Termination Analysis for Higher-Order Attribute Grammars (LK, EVW), pp. 44–63.

SLE-2012-Sloane #abstraction #analysis

Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation (AMS), pp. 24–43.

LDTA-2011-MiddelkoopDS

Stepwise evaluation of attribute grammars (AM, AD, SDS), p. 5.

SLE-2011-KaminskiW #functional #programming language

Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.

IFL-2010-MiddelkoopDS

Dependently Typed Attribute Grammars (AM, AD, SDS), pp. 105–120.

PADL-2010-HafizF #combinator #execution #lazy evaluation #specification

Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.

LDTA-J-2007-AkessonEH #compilation #implementation #jastadd #using

Implementation of a Modelica compiler using JastAdd attribute grammars (JÅ, TE, GH), pp. 21–38.

LDTA-J-2007-WykBGK #named

Silver: An extensible attribute grammar system (EVW, DB, JG, LK), pp. 39–54.

LDTA-2009-SloaneKV10 #object-oriented

A Pure Object-Oriented Embedding of Attribute Grammars (AMS, LCLK, EV), pp. 205–219.

GPCE-2010-MiddelkoopDS #type inference

Iterative type inference with attribute grammars (AM, AD, SDS), pp. 43–52.

SLE-2010-BurgerKWA #metamodelling #semantics

Reference Attribute Grammars for Metamodel Semantics (CB, SK, CW, UA), pp. 22–41.

SLE-2010-SoderbergH #automation

Automated Selective Caching for Reference Attribute Grammars (ES, GH), pp. 2–21.

ICFP-2009-VieraSS #aspect-oriented #haskell #how #programming

Attribute grammars fly first-class: how to do aspect oriented programming in Haskell (MV, SDS, WS), pp. 245–256.

GTTSE-2009-Hedin #jastadd #tutorial

An Introductory Tutorial on JastAdd Attribute Grammars (GH), pp. 166–200.

LDTA-2008-FokkerS09 #abstract interpretation #functional #source code #using

Abstract Interpretation of Functional Programs using an Attribute Grammar System (JF, SDS), pp. 117–133.

CC-2009-KatsSV #programming

Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming (LCLK, AMS, EV), pp. 142–157.

ESOP-2009-SchaferEM #coq #formal method #verification

Formalising and Verifying Reference Attribute Grammars in Coq (MS, TE, OdM), pp. 143–159.

ICALP-B-2008-Katsumata #category theory #semantics

Attribute Grammars and Categorical Semantics (SyK), pp. 271–282.

LDTA-2007-WykBGK08 #named

Silver: an Extensible Attribute Grammar System (EVW, DB, JG, LK), pp. 103–116.

SCAM-2007-MagnussonEH

Extending Attribute Grammars with Collection Attributes--Evaluation and Applications (EM, TE, GH), pp. 69–80.

MLDM-2007-PracnerTRI #categorisation #using

Categorizing Evolved CoreWar Warriors Using EM and Attribute Evaluation (DP, NT, MR, MI), pp. 681–693.

ECOOP-2007-WykKBS #grammarware #java

Attribute Grammar-Based Language Extensions for Java (EVW, LK, DB, AS), pp. 575–599.

LDTA-J-2003-MagnussonH

Circular reference attributed grammars — their evaluation and applications (EM, GH), pp. 21–37.

LDTA-2006-RebernakMHP #aspect-oriented #compilation #named

AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars (DR, MM, PRH, MJVP), pp. 37–53.

LDTA-2006-SierraF #agile #framework #prolog #prototype

A Prolog Framework for the Rapid Prototyping of Language Processors with Attribute Grammars (JLS, AFV), pp. 19–36.

SCAM-2005-SchordanQ #sequence #specification

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar (MS, DJQ), pp. 97–106.

AFP-2004-DijkstraS04 #haskell #type system

Typing Haskell with an Attribute Grammar (AD, SDS), pp. 1–72.

ECOOP-2004-EkmanH

Rewritable Reference Attributed Grammars (TE, GH), pp. 144–169.

SAC-2004-PanagopoulosPP #hardware

A hardware extension of the RISC microprocessor for Attribute Grammar evaluation (IP, CP, GKP), pp. 897–904.

LDTA-2004-GoldreiS #formal method #off the shelf #using #verification

Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties (SG, AMS), pp. 33–54.

LDTA-2004-LohmannRS #migration #recursion #semantics

Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars (WL, GR, MS), pp. 133–148.

DocEng-2003-GancarskiH #documentation #information retrieval #interactive #xml

Interactive information retrieval from XML documents represented by attribute grammars (ALG, PRH), pp. 171–174.

GPCE-2003-SaraivaS #generative #tool support

Generating Spreadsheet-Like Tools from Strong Attribute Grammars (JS, SDS), pp. 307–323.

LDTA-2003-MagnussonH

Circular Reference Attributed Grammars — Their Evaluation and Applications (EM, GH), pp. 532–554.

ICSE-2002-Butler #approach #security

Security attribute evaluation method: a cost-benefit approach (SAB), pp. 232–240.

GPCE-2002-Saraiva #component #higher-order #programming

Component-Based Programming for Higher-Order Attribute Grammars (JS), pp. 268–282.

LDTA-2002-Boyland #incremental

Incremental Evaluators for Remote Attribute Grammars (JB), pp. 9–29.

CC-2002-WykMBK #composition #design

Forwarding in Attribute Grammars for Modular Language Design (EVW, OdM, KB, PK), pp. 128–142.

TACAS-2002-Backhouse #functional #semantics

A Functional Semantics of Attribute Grammars (KB), pp. 142–157.

TOOLS-PACIFIC-2000-ButlerM #generative #named #parsing

YooccLa: A Parser Generator for L-Attributed Grammars (GB, CM), pp. 214–227.

CC-2000-SaraivaSK #functional #incremental

Functional Incremental Attribute Evaluation (JS, SDS, MFK), pp. 279–294.

PODS-1998-NevenB #documentation #query

Expressiveness of Structured Document Query Languages Based on Attribute Grammars (FN, JVdB), pp. 11–17.

SAC-1998-EconomakosPT #multi #synthesis

Incorporating multi-pass attribute grammars for the high-level synthesis of ASICs (GE, GKP, PT), pp. 45–49.

CC-1998-Boyland #dependence

Analyzing Direct Non-local Dependencies in Attribute Grammars (JB), pp. 31–49.

DATE-1998-EconomakosPT #automation #design #grammarware #named

AGENDA: An Attribute Grammar Driven Environment for the Design Automation of Digital Systems (GE, GKP, PT), pp. 933–934.

DLT-1997-WatanabeT #using

An Attribute Evaluation of One-Pass Attribute Grammars Using Value Estimate (YW, TT), pp. 155–165.

ICFP-1997-Duris #deforestation #functional #programming

Functional Programming and Attribute Grammars Deforestation (ÉD), p. 312.

SAS-1997-CorrensonDPR #deforestation #functional #programming

Attribute Grammars and Functional Programming Deforestation (LC, ÉD, DP, GR), p. 365.

PLILP-1996-ParigotRJD

Dynamic Attribute Grammars (DP, GR, MJ, ÉD), pp. 122–136.

JICSLP-1996-Ridoux #prolog

Engineering Transformations of Attributed Grammars in λProlog (OR), pp. 244–258.

CC-1994-Hedin #overview

An Overview of Door Attribute Grammars (GH), pp. 31–51.

CC-1994-RousselPJ

Coupling Evaluators for Attribute Coupled Grammars (GR, DP, MJ), pp. 52–67.

PLILP-1993-JourdanBPR #implementation #specification #using

Specification and Implementation of Grammar Couplings using Attribute Grammars (MJ, CLB, DP, GR), pp. 123–136.

DAC-1993-MandayamV #performance #specification #using

Performance Specification Using Attributed Grammars (RM, RV), pp. 661–667.

PLILP-1992-PenningsSV #incremental #using

Using Cached Functions and Constructors for Incremental Attribute Evaluation (MP, SDS, HV), pp. 130–144.

PLILP-1992-Rosendahl #analysis #strict

Strictness Analysis for Attribute Grammars (MR), pp. 145–157.

PLILP-1992-Vilo #implementation #modelling

Implementing Attribute Grammars by Computational Models (JV), pp. 485–486.

POPL-1992-FarrowMY #composition #design #implementation

Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation (RF, TJM, DMY), pp. 223–234.

WSA-1992-Kuiper #detection #parallel

Speeding Up Parallelism Detection for Attribute Grammars (MFK), pp. 152–162.

CC-1992-Baum #composition

Another Kind of Modular Attribute Grammars (BB), pp. 44–50.

CC-1992-GyimothyAS

Integrated Graphics Environment to Develop Applications Based on Attribute Grammars (TG, ZA, RS), pp. 51–58.

PLILP-1991-Paakki #logic programming #named

PROFIT: A System Integrating Logic Programming and Attribute Grammars (JP), pp. 243–254.

PLILP-1991-VogtSK #higher-order #incremental #performance

Efficient Incremental Evaluation of Higher order Attribute Grammars (HV, SDS, MFK), pp. 231–242.

PLDI-1990-JourdanPJDB #design #implementation

Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System (MJ, DP, CJ, OD, CLB), pp. 209–222.

PLDI-1990-TeitelbaumC #editing #higher-order

Higher-Order Attribute Grammars and Editing Environments (TT, RC), pp. 197–208.

WAGA-1990-AkkerMT

The Hierarchy of LR-Attributed Grammars (RodA, BM, JT), pp. 13–28.

WAGA-1990-Alblas #concurrent #incremental

Concurrent Incremental Attribute Evaluation (HA), pp. 343–358.

WAGA-1990-AlexinGHF #comprehension #interface #natural language #specification

Attribute Grammar Specification for a Natural Language Understanding Interface (ZA, TG, TH, KF), pp. 313–326.

WAGA-1990-DelestF #using

Counting Polyominoes Using Attribute Grammars (MPD, JMF), pp. 46–60.

WAGA-1990-Eijk #prototype #tool support

Attribute Grammar Applications in Prototyping LOTOS Tools (PvE), pp. 91–100.

WAGA-1990-FengKT #incremental #multi #program transformation

Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments (AF, TK, KT), pp. 192–206.

WAGA-1990-JourdanBP #design #implementation

The OLGA Attribute Grammar Description Language: Design, Implementation and Evaluation (MJ, CLB, DP), pp. 222–237.

WAGA-1990-JulieP #optimisation

Space Optimization in the FNC-2 Attribute Grammar System (CJ, DP), pp. 29–45.

WAGA-1990-Knuth #overview

The Genesis of Attribute Grammars (DEK), pp. 1–12.

WAGA-1990-KuiperS #detection #parallel

Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism (MFK, SDS), pp. 61–75.

WAGA-1990-Levison #generative #natural language

Gregory Lessard: Application of Attribute Grammars to Natural Language Sentence Generation (ML), pp. 298–312.

WAGA-1990-Peckham

Globally Partitionable Attribute Grammars (SBP), pp. 327–342.

WAGA-1990-Rosendahl #abstract interpretation #using

Abstract Interpretation Using Attribute Grammar (MR), pp. 143–156.

WAGA-1990-ShinodaK #algorithm #distributed #implementation #object-oriented #using

Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm (YS, TK), pp. 177–191.

WAGA-1990-VogtBF #agile #development #dynamic transformation #program transformation

Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations (HV, AvdB, AF), pp. 101–115.

WAGA-1990-Vorthmann #coordination #incremental #thread

Coordinated Incremental Attribute Evaluation on a DR-Threaded Tree (SAV), pp. 207–221.

WAGA-1990-Waite #compilation #using

Use of Attribute Grammars in Compiler Construction (WMW), pp. 255–265.

WAGA-1990-Wilhelm #functional #program transformation

Tree Transformations, Functional Languages, and Attribute Grammars (RW), pp. 116–129.

CC-1990-JourdanP #development

Application Development with the FNC-2 Attribute Grammar System (MJ, DP), pp. 11–25.

CC-1990-LammelF

Mixed Dialogue Control Defined by an Attribute Grammar (UL, PF), pp. 219–221.

CC-1990-Lampe #concurrent #named

MATE — A Metasystem with Concurrent Attribute Evaluation (JL), pp. 222–223.

CLP-1990-Paakki90 #compilation

A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing (JP), pp. 203–217.

ECOOP-1989-Hedin #object-oriented

An Object-Oriented Notation for Attribute Grammars (GH), pp. 329–345.

PLDI-1989-FarrowS #compilation

A VHDL Compiler Based on Attribute Grammar Methodology (RF, AGS), pp. 120–130.

PLDI-1989-VogtSK #higher-order

Higher-Order Attribute Grammars (HV, SDS, MFK), pp. 131–145.

POPL-1989-SagivEFR #analysis #data flow

Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis (SS, OE, NF, MR), pp. 36–48.

CAAP-1989-KaplanG #graph grammar #incremental

Priority Controlled Incremental Attribute Evaluation in Attributed Graph Grammars (SMK, SKG), pp. 306–336.

PLDI-1988-WalzJ #incremental

Incremental Evaluation for a General Class of Circular Attribute Grammars (JAW, GFJ), pp. 209–221.

PLILP-1988-Attali #compilation

Compiling TYPOL with Attribute Grammars (IA), pp. 252–272.

PLILP-1988-Christiansen

Structure Sharing in Attribute Grammars (HC), pp. 180–200.

PLILP-1988-RiedewaldL #logic programming #using

Using an Attribute Grammar as a Logic Program (GR, UL), pp. 161–179.

CCHSC-1988-Hedin #incremental

Incremental Attribute Evaluation with Side-effects (GH), pp. 175–189.

JICSCP-1988-AttilaF88 #execution #semantics #source code

Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation (IA, PFZ), pp. 160–177.

FPCA-1987-Johnsson #functional #paradigm #programming

Attribute grammars as a functional programming paradigm (TJ), pp. 154–173.

POPL-1986-Hoover

Dynamically Bypassing Copy Rule Chains in Attribute Grammars (RH), pp. 14–25.

POPL-1986-JonesS #design

Hierarchical VLSI Design Systems Based on Attribute Grammars (LGJ, JS), pp. 58–69.

POPL-1986-KatayamaS

Global Storage Allocation in Attribute Evaluation (TK, HS), pp. 26–37.

POPL-1985-JohnsonF #editing #incremental #metalanguage

A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors (GFJ, CNF), pp. 141–151.

ICSE-1985-YellinM

Two-Way Translators Based on Attribute Grammar Inversion (DMY, EMMM), pp. 36–42.

POPL-1984-Wilhelm

Inverse Currying Transformation on Attribute Grammars (RW), pp. 140–147.

SCC-1984-Farrow

Sub-protocol-evaluators for attribute grammars (RF), pp. 70–80.

SCC-1984-GanzingerG

Attribute coupled grammars (HG, RG), pp. 157–170.

SCC-1984-Jourdan #recursion

Strongly non-circular attribute grammars and their recursive evaluation (MJ), pp. 81–93.

SCC-1984-JulligD

Regular right-part attribute grammars (RJ, FD), pp. 171–178.

PODS-1983-Kintala #query

Attributed Grammars for Query Language Translations (CMRK), pp. 137–148.

ICALP-1983-Kamimura #automaton

Tree Automata and Attribute Grammars (TK), pp. 374–384.

POPL-1982-Farrow #compilation #experience #grammarware

Experience with an Attribute Grammar-Based Compiler (RF), pp. 95–107.

POPL-1982-GanapathiF #code generation #using

Description-Driven Code Generation using Attribute Grammars (MG, CNF), pp. 108–119.

SCC-1982-DrossopoulouUPGDW #ada

An Attribute Grammar for Ada (SD, JSU, GP, GG, MD, GW), pp. 334–348.

SCC-1982-Farrow #named

LINGUIST-86: Yet Another Translator Writing System Based On Attribute Grammars (RF), pp. 160–171.

SCC-1982-KoskimiesRS #compilation #using

Compiler Construction Using Attribute Grammars (KK, KJR, MS), pp. 153–159.

POPL-1981-DemersRT #editing #incremental

Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors (AJD, TWR, TT), pp. 105–116.

POPL-1981-KatayamaH #verification

Verification of Attribute Grammars (TK, YH), pp. 177–186.

ICSE-1981-DuncanH #design #implementation #using

Using Attributed Grammars to Test Designs and Implementations (AGD, JSH), pp. 170–178.

ICSE-1981-Katayama #functional #named #programming

HFP: A Hierarchical and Functional Programming Based on Attribute Grammar (TK), pp. 343–353.

ICALP-1980-EngelfrietF #multi

Formal Properties of One-Visit and Multi-Pass Attribute Grammars (JE, GF), pp. 182–194.

ICALP-1980-Schmidt #strict

Space-Restricted Attribute Grammars (EMS), pp. 436–448.

SDCG-1980-Ganzinger #semantics

Transforming denotational semantics into practical attribute grammars (HG), pp. 1–69.

SDCG-1980-Madsen #on the #semantics

On defining semantics by means of extended attribute grammars (OLM), pp. 259–299.

SDCG-1980-Tienari #on the

On the definition of attribute grammar (MT), pp. 408–414.

ICALP-1979-MiltonF #ll #parsing

LL(k) Parsing for Attributed Grammars (DRM, CNF), pp. 422–430.

POPL-1979-CohenH #automation #generative

Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars (RSC, EH), pp. 121–134.

SCC-1979-Raiha #multi

Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars (KJR), pp. 26–38.

ICALP-1978-Saarinen #on the #performance

On Constructing Efficient Evaluators for Attribute Grammars (MS), pp. 382–397.

POPL-1976-KennedyW #automation #generative #performance

Automatic Generation of Efficient Evaluators for Attribute Grammars (KK, SKW), pp. 32–49.

POPL-1975-JazayeriOR #complexity #on the

On the Complexity of the Circularity Test for Attribute Grammars (MJ, WFO, WCR), pp. 119–129.