BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
attribute grammar
Google attribute grammar

Tag #attribute grammar

154 papers:

GPCEGPCE-2019-KramerKW
Reflection in attribute grammars (LK, TK, EVW), pp. 48–60.
SLESLE-2018-MeySHSKFOA #using #validation
Continuous model validation using reference attribute grammars (JM, RS, GH, ES, TK0, NF, , UA), pp. 70–82.
PPDPPPDP-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.
SLESLE-2017-BuckleyS #formal method
A formalisation of parameterised reference attribute grammars (SJHB, AMS), pp. 139–150.
SLESLE-2017-OqvistH #concurrent
Concurrent circular reference attribute grammars (, GH), pp. 151–162.
OOPSLAOOPSLA-2016-SteimannHU #constraints #source code #using
Computing repair alternatives for malformed programs using constraint attribute grammars (FS, JH, BU), pp. 711–730.
PEPMPEPM-2015-BinsbergenBD #automation #dependence #order
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.
SLESLE-2015-Burger #graph grammar #motivation #overview #perspective
Reference attribute grammar controlled graph rewriting: motivation and overview (CB), pp. 89–100.
TACASTACAS-2015-BransenBCD #order #scheduling #using
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving (JB, LTvB, KC, AD), pp. 289–303.
OOPSLAOOPSLA-2014-RendelBO #algebra
From object algebras to attribute grammars (TR, JIB, KO), pp. 377–395.
PEPMPEPM-2014-BransenDS #incremental #lazy evaluation
Lazy stateless incremental evaluation machinery for attribute grammars (JB, AD, SDS), pp. 145–156.
PEPMPEPM-2014-MartinsSFW #bidirectional #generative #grammarware
Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
SLESLE-J-2012-KrishnanW #analysis #composition #higher-order #termination
Monolithic and modular termination analyses for higher-order attribute grammars (LK, EVW), pp. 511–526.
SLESLE-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.
SLESLE-2014-WilliamsW
Origin Tracking in Attribute Grammars (KW, EVW), pp. 282–301.
GT-VMTGT-VMT-2013-ForsH #editing #reuse #semantics #visual notation
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars (NF, GH).
LDTALDTA-J-2009-SloaneKV
A pure embedding of attribute grammars (AMS, LCLK, EV), pp. 1752–1769.
SLESLE-2013-SoderbergH #higher-order
Circular Higher-Order Reference Attribute Grammars (ES, GH), pp. 302–321.
PPoPPPPoPP-2013-MeyerovichTAB #parallel #synthesis
Parallel schedule synthesis for attribute grammars (LAM, MET, EA, RB), pp. 187–196.
CBSECBSE-2012-KarolBA #composition #towards
Towards well-formed fragment composition with reference attribute grammars (SK, CB, UA), pp. 109–114.
PADLPADL-2012-BransenMDS #algorithm
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.
LDTALDTA-2012-VieraSM #how
UUAG meets AspectAG: how to make attribute grammars first-class (MV, SDS, AM), p. 6.
SLESLE-2012-KaminskiW #analysis #composition
Modular Well-Definedness Analysis for Attribute Grammars (TK, EVW), pp. 352–371.
SLESLE-2012-KrishnanW #analysis #higher-order #termination
Termination Analysis for Higher-Order Attribute Grammars (LK, EVW), pp. 44–63.
SLESLE-2012-Sloane #abstraction #analysis
Profile-Based Abstraction and Analysis of Attribute Grammar Evaluation (AMS), pp. 24–43.
LDTALDTA-2011-MiddelkoopDS
Stepwise evaluation of attribute grammars (AM, AD, SDS), p. 5.
SLESLE-2011-KaminskiW #functional #programming language
Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.
IFLIFL-2010-MiddelkoopDS
Dependently Typed Attribute Grammars (AM, AD, SDS), pp. 105–120.
PADLPADL-2010-HafizF #combinator #execution #lazy evaluation #specification
Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.
LDTALDTA-J-2007-AkessonEH #compilation #implementation #jastadd #using
Implementation of a Modelica compiler using JastAdd attribute grammars (, TE, GH), pp. 21–38.
LDTALDTA-J-2007-WykBGK #named
Silver: An extensible attribute grammar system (EVW, DB, JG, LK), pp. 39–54.
LDTALDTA-2009-SloaneKV10 #object-oriented
A Pure Object-Oriented Embedding of Attribute Grammars (AMS, LCLK, EV), pp. 205–219.
GPCEGPCE-2010-MiddelkoopDS #type inference
Iterative type inference with attribute grammars (AM, AD, SDS), pp. 43–52.
SLESLE-2010-BurgerKWA #metamodelling #semantics
Reference Attribute Grammars for Metamodel Semantics (CB, SK, CW, UA), pp. 22–41.
SLESLE-2010-SoderbergH #automation
Automated Selective Caching for Reference Attribute Grammars (ES, GH), pp. 2–21.
ICFPICFP-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.
GTTSEGTTSE-2009-Hedin #jastadd #tutorial
An Introductory Tutorial on JastAdd Attribute Grammars (GH), pp. 166–200.
LDTALDTA-2008-FokkerS09 #abstract interpretation #functional #source code #using
Abstract Interpretation of Functional Programs using an Attribute Grammar System (JF, SDS), pp. 117–133.
CCCC-2009-KatsSV #programming
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming (LCLK, AMS, EV), pp. 142–157.
ESOPESOP-2009-SchaferEM #coq #formal method #verification
Formalising and Verifying Reference Attribute Grammars in Coq (MS, TE, OdM), pp. 143–159.
ICALPICALP-B-2008-Katsumata #category theory #semantics
Attribute Grammars and Categorical Semantics (SyK), pp. 271–282.
LDTALDTA-2007-WykBGK08 #named
Silver: an Extensible Attribute Grammar System (EVW, DB, JG, LK), pp. 103–116.
SCAMSCAM-2007-MagnussonEH
Extending Attribute Grammars with Collection Attributes--Evaluation and Applications (EM, TE, GH), pp. 69–80.
MLDMMLDM-2007-PracnerTRI #categorisation #using
Categorizing Evolved CoreWar Warriors Using EM and Attribute Evaluation (DP, NT, MR, MI), pp. 681–693.
ECOOPECOOP-2007-WykKBS #grammarware #java
Attribute Grammar-Based Language Extensions for Java (EVW, LK, DB, AS), pp. 575–599.
LDTALDTA-J-2003-MagnussonH
Circular reference attributed grammars — their evaluation and applications (EM, GH), pp. 21–37.
LDTALDTA-2006-RebernakMHP #aspect-oriented #compilation #named
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars (DR, MM, PRH, MJVP), pp. 37–53.
LDTALDTA-2006-SierraF #agile #framework #prolog #prototype
A Prolog Framework for the Rapid Prototyping of Language Processors with Attribute Grammars (JLS, AFV), pp. 19–36.
SCAMSCAM-2005-SchordanQ #sequence #specification
Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar (MS, DJQ), pp. 97–106.
AFPAFP-2004-DijkstraS04 #haskell #type system
Typing Haskell with an Attribute Grammar (AD, SDS), pp. 1–72.
ECOOPECOOP-2004-EkmanH
Rewritable Reference Attributed Grammars (TE, GH), pp. 144–169.
SACSAC-2004-PanagopoulosPP #hardware
A hardware extension of the RISC microprocessor for Attribute Grammar evaluation (IP, CP, GKP), pp. 897–904.
LDTALDTA-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.
LDTALDTA-2004-LohmannRS #migration #recursion #semantics
Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars (WL, GR, MS), pp. 133–148.
DocEngDocEng-2003-GancarskiH #documentation #information retrieval #interactive #xml
Interactive information retrieval from XML documents represented by attribute grammars (ALG, PRH), pp. 171–174.
GPCEGPCE-2003-SaraivaS #generative #tool support
Generating Spreadsheet-Like Tools from Strong Attribute Grammars (JS, SDS), pp. 307–323.
LDTALDTA-2003-MagnussonH
Circular Reference Attributed Grammars — Their Evaluation and Applications (EM, GH), pp. 532–554.
ICSEICSE-2002-Butler #approach #security
Security attribute evaluation method: a cost-benefit approach (SAB), pp. 232–240.
GPCEGPCE-2002-Saraiva #component #higher-order #programming
Component-Based Programming for Higher-Order Attribute Grammars (JS), pp. 268–282.
LDTALDTA-2002-Boyland #incremental
Incremental Evaluators for Remote Attribute Grammars (JB), pp. 9–29.
CCCC-2002-WykMBK #composition #design
Forwarding in Attribute Grammars for Modular Language Design (EVW, OdM, KB, PK), pp. 128–142.
TACASTACAS-2002-Backhouse #functional #semantics
A Functional Semantics of Attribute Grammars (KB), pp. 142–157.
TOOLSTOOLS-PACIFIC-2000-ButlerM #generative #named #parsing
YooccLa: A Parser Generator for L-Attributed Grammars (GB, CM), pp. 214–227.
CCCC-2000-SaraivaSK #functional #incremental
Functional Incremental Attribute Evaluation (JS, SDS, MFK), pp. 279–294.
PODSPODS-1998-NevenB #documentation #query
Expressiveness of Structured Document Query Languages Based on Attribute Grammars (FN, JVdB), pp. 11–17.
SACSAC-1998-EconomakosPT #multi #synthesis
Incorporating multi-pass attribute grammars for the high-level synthesis of ASICs (GE, GKP, PT), pp. 45–49.
CCCC-1998-Boyland #dependence
Analyzing Direct Non-local Dependencies in Attribute Grammars (JB), pp. 31–49.
DATEDATE-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.
DLTDLT-1997-WatanabeT #using
An Attribute Evaluation of One-Pass Attribute Grammars Using Value Estimate (YW, TT), pp. 155–165.
ICFPICFP-1997-Duris #deforestation #functional #programming
Functional Programming and Attribute Grammars Deforestation (ÉD), p. 312.
SASSAS-1997-CorrensonDPR #deforestation #functional #programming
Attribute Grammars and Functional Programming Deforestation (LC, ÉD, DP, GR), p. 365.
PPDPPLILP-1996-ParigotRJD
Dynamic Attribute Grammars (DP, GR, MJ, ÉD), pp. 122–136.
ICLPJICSLP-1996-Ridoux #prolog
Engineering Transformations of Attributed Grammars in λProlog (OR), pp. 244–258.
CCCC-1994-Hedin #overview
An Overview of Door Attribute Grammars (GH), pp. 31–51.
CCCC-1994-RousselPJ
Coupling Evaluators for Attribute Coupled Grammars (GR, DP, MJ), pp. 52–67.
PPDPPLILP-1993-JourdanBPR #implementation #specification #using
Specification and Implementation of Grammar Couplings using Attribute Grammars (MJ, CLB, DP, GR), pp. 123–136.
DACDAC-1993-MandayamV #performance #specification #using
Performance Specification Using Attributed Grammars (RM, RV), pp. 661–667.
PPDPPLILP-1992-PenningsSV #incremental #using
Using Cached Functions and Constructors for Incremental Attribute Evaluation (MP, SDS, HV), pp. 130–144.
PPDPPLILP-1992-Rosendahl #analysis #strict
Strictness Analysis for Attribute Grammars (MR), pp. 145–157.
PPDPPLILP-1992-Vilo #implementation #modelling
Implementing Attribute Grammars by Computational Models (JV), pp. 485–486.
POPLPOPL-1992-FarrowMY #composition #design #implementation
Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation (RF, TJM, DMY), pp. 223–234.
SASWSA-1992-Kuiper #detection #parallel
Speeding Up Parallelism Detection for Attribute Grammars (MFK), pp. 152–162.
CCCC-1992-Baum #composition
Another Kind of Modular Attribute Grammars (BB), pp. 44–50.
CCCC-1992-GyimothyAS
Integrated Graphics Environment to Develop Applications Based on Attribute Grammars (TG, ZA, RS), pp. 51–58.
PPDPPLILP-1991-Paakki #logic programming #named
PROFIT: A System Integrating Logic Programming and Attribute Grammars (JP), pp. 243–254.
PPDPPLILP-1991-VogtSK #higher-order #incremental #performance
Efficient Incremental Evaluation of Higher order Attribute Grammars (HV, SDS, MFK), pp. 231–242.
PLDIPLDI-1990-JourdanPJDB #design #implementation
Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System (MJ, DP, CJ, OD, CLB), pp. 209–222.
PLDIPLDI-1990-TeitelbaumC #editing #higher-order
Higher-Order Attribute Grammars and Editing Environments (TT, RC), pp. 197–208.
WAGAWAGA-1990-AkkerMT
The Hierarchy of LR-Attributed Grammars (RodA, BM, JT), pp. 13–28.
WAGAWAGA-1990-Alblas #concurrent #incremental
Concurrent Incremental Attribute Evaluation (HA), pp. 343–358.
WAGAWAGA-1990-AlexinGHF #comprehension #interface #natural language #specification
Attribute Grammar Specification for a Natural Language Understanding Interface (ZA, TG, TH, KF), pp. 313–326.
WAGAWAGA-1990-DelestF #using
Counting Polyominoes Using Attribute Grammars (MPD, JMF), pp. 46–60.
WAGAWAGA-1990-Eijk #prototype #tool support
Attribute Grammar Applications in Prototyping LOTOS Tools (PvE), pp. 91–100.
WAGAWAGA-1990-FengKT #incremental #multi #program transformation
Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments (AF, TK, KT), pp. 192–206.
WAGAWAGA-1990-JourdanBP #design #implementation
The OLGA Attribute Grammar Description Language: Design, Implementation and Evaluation (MJ, CLB, DP), pp. 222–237.
WAGAWAGA-1990-JulieP #optimisation
Space Optimization in the FNC-2 Attribute Grammar System (CJ, DP), pp. 29–45.
WAGAWAGA-1990-Knuth #overview
The Genesis of Attribute Grammars (DEK), pp. 1–12.
WAGAWAGA-1990-KuiperS #detection #parallel
Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism (MFK, SDS), pp. 61–75.
WAGAWAGA-1990-Levison #generative #natural language
Gregory Lessard: Application of Attribute Grammars to Natural Language Sentence Generation (ML), pp. 298–312.
WAGAWAGA-1990-Peckham
Globally Partitionable Attribute Grammars (SBP), pp. 327–342.
WAGAWAGA-1990-Rosendahl #abstract interpretation #using
Abstract Interpretation Using Attribute Grammar (MR), pp. 143–156.
WAGAWAGA-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.
WAGAWAGA-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.
WAGAWAGA-1990-Vorthmann #coordination #incremental #thread
Coordinated Incremental Attribute Evaluation on a DR-Threaded Tree (SAV), pp. 207–221.
WAGAWAGA-1990-Waite #compilation #using
Use of Attribute Grammars in Compiler Construction (WMW), pp. 255–265.
WAGAWAGA-1990-Wilhelm #functional #program transformation
Tree Transformations, Functional Languages, and Attribute Grammars (RW), pp. 116–129.
CCCC-1990-JourdanP #development
Application Development with the FNC-2 Attribute Grammar System (MJ, DP), pp. 11–25.
CCCC-1990-LammelF
Mixed Dialogue Control Defined by an Attribute Grammar (UL, PF), pp. 219–221.
CCCC-1990-Lampe #concurrent #named
MATE — A Metasystem with Concurrent Attribute Evaluation (JL), pp. 222–223.
ICLPCLP-1990-Paakki90 #compilation
A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing (JP), pp. 203–217.
ECOOPECOOP-1989-Hedin #object-oriented
An Object-Oriented Notation for Attribute Grammars (GH), pp. 329–345.
PLDIPLDI-1989-FarrowS #compilation
A VHDL Compiler Based on Attribute Grammar Methodology (RF, AGS), pp. 120–130.
PLDIPLDI-1989-VogtSK #higher-order
Higher-Order Attribute Grammars (HV, SDS, MFK), pp. 131–145.
POPLPOPL-1989-SagivEFR #analysis #data flow
Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis (SS, OE, NF, MR), pp. 36–48.
TAPSOFTCAAP-1989-KaplanG #graph grammar #incremental
Priority Controlled Incremental Attribute Evaluation in Attributed Graph Grammars (SMK, SKG), pp. 306–336.
PLDIPLDI-1988-WalzJ #incremental
Incremental Evaluation for a General Class of Circular Attribute Grammars (JAW, GFJ), pp. 209–221.
PPDPPLILP-1988-Attali #compilation
Compiling TYPOL with Attribute Grammars (IA), pp. 252–272.
PPDPPLILP-1988-Christiansen
Structure Sharing in Attribute Grammars (HC), pp. 180–200.
PPDPPLILP-1988-RiedewaldL #logic programming #using
Using an Attribute Grammar as a Logic Program (GR, UL), pp. 161–179.
CCCCHSC-1988-Hedin #incremental
Incremental Attribute Evaluation with Side-effects (GH), pp. 175–189.
ICLPJICSCP-1988-AttilaF88 #execution #semantics #source code
Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation (IA, PFZ), pp. 160–177.
FPCAFPCA-1987-Johnsson #functional #paradigm #programming
Attribute grammars as a functional programming paradigm (TJ), pp. 154–173.
POPLPOPL-1986-Hoover
Dynamically Bypassing Copy Rule Chains in Attribute Grammars (RH), pp. 14–25.
POPLPOPL-1986-JonesS #design
Hierarchical VLSI Design Systems Based on Attribute Grammars (LGJ, JS), pp. 58–69.
POPLPOPL-1986-KatayamaS
Global Storage Allocation in Attribute Evaluation (TK, HS), pp. 26–37.
POPLPOPL-1985-JohnsonF #editing #incremental #metalanguage
A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors (GFJ, CNF), pp. 141–151.
ICSEICSE-1985-YellinM
Two-Way Translators Based on Attribute Grammar Inversion (DMY, EMMM), pp. 36–42.
POPLPOPL-1984-Wilhelm
Inverse Currying Transformation on Attribute Grammars (RW), pp. 140–147.
PLDISCC-1984-Farrow
Sub-protocol-evaluators for attribute grammars (RF), pp. 70–80.
PLDISCC-1984-GanzingerG
Attribute coupled grammars (HG, RG), pp. 157–170.
PLDISCC-1984-Jourdan #recursion
Strongly non-circular attribute grammars and their recursive evaluation (MJ), pp. 81–93.
PLDISCC-1984-JulligD
Regular right-part attribute grammars (RJ, FD), pp. 171–178.
PODSPODS-1983-Kintala #query
Attributed Grammars for Query Language Translations (CMRK), pp. 137–148.
ICALPICALP-1983-Kamimura #automaton
Tree Automata and Attribute Grammars (TK), pp. 374–384.
POPLPOPL-1982-Farrow #compilation #experience #grammarware
Experience with an Attribute Grammar-Based Compiler (RF), pp. 95–107.
POPLPOPL-1982-GanapathiF #code generation #using
Description-Driven Code Generation using Attribute Grammars (MG, CNF), pp. 108–119.
PLDISCC-1982-DrossopoulouUPGDW #ada
An Attribute Grammar for Ada (SD, JSU, GP, GG, MD, GW), pp. 334–348.
PLDISCC-1982-Farrow #named
LINGUIST-86: Yet Another Translator Writing System Based On Attribute Grammars (RF), pp. 160–171.
PLDISCC-1982-KoskimiesRS #compilation #using
Compiler Construction Using Attribute Grammars (KK, KJR, MS), pp. 153–159.
POPLPOPL-1981-DemersRT #editing #incremental
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors (AJD, TWR, TT), pp. 105–116.
POPLPOPL-1981-KatayamaH #verification
Verification of Attribute Grammars (TK, YH), pp. 177–186.
ICSEICSE-1981-DuncanH #design #implementation #using
Using Attributed Grammars to Test Designs and Implementations (AGD, JSH), pp. 170–178.
ICSEICSE-1981-Katayama #functional #named #programming
HFP: A Hierarchical and Functional Programming Based on Attribute Grammar (TK), pp. 343–353.
ICALPICALP-1980-EngelfrietF #multi
Formal Properties of One-Visit and Multi-Pass Attribute Grammars (JE, GF), pp. 182–194.
ICALPICALP-1980-Schmidt #strict
Space-Restricted Attribute Grammars (EMS), pp. 436–448.
CCSDCG-1980-Ganzinger #semantics
Transforming denotational semantics into practical attribute grammars (HG), pp. 1–69.
CCSDCG-1980-Madsen #on the #semantics
On defining semantics by means of extended attribute grammars (OLM), pp. 259–299.
CCSDCG-1980-Tienari #on the
On the definition of attribute grammar (MT), pp. 408–414.
ICALPICALP-1979-MiltonF #ll #parsing
LL(k) Parsing for Attributed Grammars (DRM, CNF), pp. 422–430.
POPLPOPL-1979-CohenH #automation #generative
Automatic Generation of Near-Optimal Translators for Noncircular Attribute Grammars (RSC, EH), pp. 121–134.
PLDISCC-1979-Raiha #multi
Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars (KJR), pp. 26–38.
ICALPICALP-1978-Saarinen #on the #performance
On Constructing Efficient Evaluators for Attribute Grammars (MS), pp. 382–397.
POPLPOPL-1976-KennedyW #automation #generative #performance
Automatic Generation of Efficient Evaluators for Attribute Grammars (KK, SKW), pp. 32–49.
POPLPOPL-1975-JazayeriOR #complexity #on the
On the Complexity of the Circularity Test for Attribute Grammars (MJ, WFO, WCR), pp. 119–129.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.