BibSLEIGH — syntax tag

syntax

syntax

Tag #syntax

170 papers:

ICSME-2019-WongSCH #corpus #fault #stack overflow: Syntax and Stack Overflow: A Methodology for Extracting a Corpus of Syntax Errors and Fixes (AWW, AS, SAC, AH), pp. 318–322.
MSR-2019-PerezC #abstract syntax tree #clone detection #detection #learning: Cross-language clone detection by learning over abstract syntax trees (DP, SC), pp. 518–528.
SANER-2019-BuchA #abstract syntax tree #clone detection #detection #recursion: Learning-Based Recursive Aggregation of Abstract Syntax Trees for Code Clone Detection (LB, AA0), pp. 95–104.
FSCD-2019-LiquoriS #calculus: The Delta-calculus: Syntax and Types (LL, CS), p. 20.
FSCD-2019-SterlingAG #similarity: Cubical Syntax for Reflection-Free Extensional Equality (JS, CA, DG), p. 25.
OOPSLA-2019-YamazakiNIC #api #generative #lr: Generating a fluent API with syntax checking from an LR grammar (TY, TN, KI, SC), p. 24.
PLDI-2019-TonderG #combinator #lightweight #multi #parsing: Lightweight multi-language syntax transformation with parser parser combinators (RvT, CLG), pp. 363–378.
PPDP-2019-Gerard0S #functional #programming: Functional programming with λ-tree syntax (UG, DM0, GS), p. 16.
ICSE-2019-ZhangWZ0WL #abstract syntax tree #novel #representation #source code: A novel neural source code representation based on abstract syntax tree (JZ, XW, HZ0, HS0, KW, XL), pp. 783–794.
SLE-2019-RaselimoTF #fault #generative #parsing #source code: Breaking parsers: mutation-based generation of programs with guaranteed syntax errors (MR, JT, BF0), pp. 83–87.
SLE-2019-ZadahmadSAGL #difference #visual notation: Domain-specific model differencing in visual concrete syntax (MZ, ES, OA, EG, JdL), pp. 100–112.
SANER-2018-SantosCPHA #detection #fault #modelling #using: Syntax and sensibility: Using language models to detect and correct syntax errors (EAS, JCC, DP, AH, JNA), pp. 311–322.
FSCD-2018-KaposiK #induction: A Syntax for Higher Inductive-Inductive Types (AK, AK), p. 18.
OOPSLA-2018-KoppelPS #incremental #parametricity: One tool, many languages: language-parametric transformation with incremental parametric syntax (JK, VP, ASL), p. 28.
ICSE-2018-HannebauerHG #programming #question: Does syntax highlighting help programming novices? (CH, MH, VG), p. 704.
ICPC-2017-AjamiWF #complexity #question #what: Syntax, predicates, idioms: what really affects code complexity? (SA, YW, DGF), pp. 66–76.
BX-2017-SeifermannH #comparison #modelling #qvt: Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models (SS, JH), pp. 6–14.
MoDELS-2017-DurisicMST #case study #co-evolution #metamodelling #modelling #semantics: Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments — A Case Study of AUTOSAR (DD, CM, MS, MT), pp. 189–198.
POPL-2017-KopczynskiT #named #semantics: LOIS: syntax and semantics (EK, ST), pp. 586–598.
SLE-2017-TendelooMMV #approach #modelling #multi: Concrete syntax: a multi-paradigm modelling approach (YVT, SVM, BM, HV), pp. 182–193.
ESOP-2017-0001P #source code #using: Programs Using Syntax with First-Class Binders (FF0, BP), pp. 504–529.
MSR-2016-ProkschANM #c# #dataset: A dataset of simplified syntax trees for C# (SP, SA, SN, MM), pp. 476–479.
ICMT-2016-HerreraWP #model transformation #transformation language: A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax (ASBH, EDW, RFP), pp. 3–18.
SLE-2016-LindholmTH #named: DrAST: an inspection tool for attributed syntax trees (JL, JT, GH), pp. 176–180.
ESOP-2016-WangN #approach #functional #higher-order #source code: A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs (YW, GN), pp. 752–779.
WICSA-2015-CoutoTCL #abstract syntax tree #architecture #migration: Migrating to an Extensible Architecture for Abstract Syntax Trees (LDC, PWVTJ, JWC, KL), pp. 145–154.
SAC-2015-OmarWA #composition #metaprogramming: Composable and hygienic typed syntax macros (CO, CW, JA), pp. 1986–1991.
ITiCSE-2014-DennyLC #error message #fault: Enhancing syntax error messages appears ineffectual (PD, ALR, DC), pp. 273–278.
MSR-2014-CampbellHA #fault #modelling: Syntax errors just aren’t natural: improving error reporting with language models (JCC, AH, JNA), pp. 252–261.
SCAM-2014-YoshidaH #c #semiparsing #source code: A Pattern Search Method for Unpreprocessed C Programs Based on Tokenized Syntax Trees (AY, YH), pp. 295–304.
IFL-2014-Christiansen #low level: Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection (DRC), p. 1.
POPL-2014-Castagna0XILP #evaluation #polymorphism #semantics: Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation (GC, KN, ZX, HI, SL, LP), pp. 5–18.
SAC-2014-ReisIB: Defining the syntax of extensible languages (LVdSR, VODI, RdSB), pp. 1570–1576.
ICFP-2013-AxelssonC #functional #higher-order #source code #using: Using circular programs for higher-order syntax: functional pearl (EA, KC), pp. 257–262.
IFL-2013-VieraS #composition #semantics: First Class Syntax, Semantics, and Their Composition (MV, SDS), p. 73.
KDIR-KMIS-2013-CheetiSC #adaptation #approach #classification #naive bayes #sentiment #using: Cross-domain Sentiment Classification using an Adapted Naïve Bayes Approach and Features Derived from Syntax Trees (SC, AS, DC), pp. 169–176.
PEPM-2013-OliveiraL #domain-specific language #graph: Abstract syntax graphs for domain specific languages (BCdSO, AL), pp. 87–96.
SAC-PL-J-2011-DinkelakerEM13 #compilation #embedded #incremental: Incremental concrete syntax for embedded languages with support for separate compilation (TD, ME, MM), pp. 615–632.
LDTA-J-2009-SoderbergEHM #abstract syntax tree #analysis: Extensible intraprocedural flow analysis at the abstract syntax tree level (ES, TE, GH, EM), pp. 1809–1827.
GPCE-2013-MedeirosRG #fault: Investigating preprocessor-based syntax errors (FM, MR, RG), pp. 75–84.
LICS-2013-FioreH #algebra #equation #logic #multi #polymorphism #semantics: Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (MPF, MH), pp. 520–529.
VMCAI-2013-DSilvaK #abstraction: Abstraction of Syntax (VD, DK), pp. 396–413.
ITiCSE-2012-DennyLT #fault: All syntax errors are not equal (PD, ALR, EDT), pp. 75–80.
ICFP-2012-Axelsson #embedded: A generic abstract syntax model for embedded languages (EA), pp. 323–334.
SIGIR-2012-ZhangXCHDALC #identification #information management #semantics #sentiment: Sentiment identification by incorporating syntax, semantics and context information (KZ, YX, YC, DH, DD, AA, WkL, ANC), pp. 1143–1144.
REFSQ-2012-GenonCTHM #semantics #towards #visual notation: Towards a More Semantically Transparent i* Visual Syntax (NG, PC, HT, PH, DLM), pp. 140–146.
ASE-2012-JongeV #automation #evaluation #fault: Automated evaluation of syntax error recovery (MdJ, EV), pp. 322–325.
ITiCSE-2011-DennyLTH #comprehension: Understanding the syntax barrier for novices (PD, ALR, EDT, JH), pp. 208–212.
ITiCSE-2011-MothVB #learning #named: SyntaxTrain: relieving the pain of learning syntax (ALAM, JV, MBA), p. 387.
ICFP-2011-PopescuG #recursion: Recursion principles for syntax with bindings and substitution (AP, ELG), pp. 346–358.
SAC-2011-DinkelakerEM #embedded #incremental: Incremental concrete syntax for embedded languages (TD, ME, MM), pp. 1309–1316.
LDTA-2011-EconomopoulosF #higher-order: Higher-order transformations with nested concrete syntax (GRE, BF), p. 4.
FoSSaCS-2011-Hamana #polymorphism: Polymorphic Abstract Syntax via Grothendieck Construction (MH), pp. 381–395.
Haskell-2010-RendelO #parsing #pretty-printing: Invertible syntax descriptions: unifying parsing and pretty printing (TR, KO), pp. 1–12.
KR-2010-Shapiro #logic #semantics: Set-Oriented Logical Connectives: Syntax and Semantics (SCS).
SPLC-2010-HeuerBKLP #diagrams #process #semantics #variability: Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams (AH, CJB, SK, KL, KP), pp. 62–76.
OOPSLA-2010-KatsVW #declarative: Pure and declarative syntax definition: paradise lost and regained (LCLK, EV, GW), pp. 918–932.
PPDP-2010-Gacek #higher-order #specification: Relating nominal and higher-order abstract syntax specifications (AG), pp. 177–186.
GPCE-J-2007-BravenboerDV10 #injection: Preventing injection attacks with syntax embeddings (MB, ED, EV), pp. 473–495.
SLE-2010-KatsKV #ambiguity #interactive #metaprogramming #source code: Interactive Disambiguation of Meta Programs with Concrete Object Syntax (LCLK, KTK, EV), pp. 327–336.
ICPC-2009-ChilowiczDR #detection #similarity #source code: Syntax tree fingerprinting for source code similarity detection (MC, ÉD, GR), pp. 243–247.
TLCA-2009-Atkey #for free #parametricity #representation #using: Syntax for Free: Representing Syntax with Binding Using Parametricity (RA), pp. 35–49.
HCI-NIMT-2009-PedroRBBA #domain-specific language #visual notation: Composing Visual Syntax for Domain Specific Languages (LP, MR, DB, BB, VA), pp. 889–898.
ECMDA-FA-2009-HeidenreichJKSW #modelling #refinement: Derivation and Refinement of Textual Syntax for Models (FH, JJ, SK, MS, CW), pp. 114–129.
RE-2009-MavinWHN #approach #requirements: Easy Approach to Requirements Syntax (EARS) (AM, PW, AH, MN), pp. 317–322.
RE-2009-MoodyHM #effectiveness #evaluation #requirements #visual notation: Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax (DLM, PH, RM), pp. 171–180.
ASE-2009-ZhangGTL #probability #sequence chart: A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.
ICFP-2008-Chlipala #higher-order #parametricity #semantics: Parametric higher-order abstract syntax for mechanized semantics (AC), pp. 143–156.
GT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #sequence chart #uml: A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.
GT-VMT-2008-BrielerM #ambiguity #analysis #diagrams #graph grammar #sketching: Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars (FB, MM).
SOFTVIS-2008-Almeida-MartinezUV #abstract syntax tree #named #visualisation: VAST: visualization of abstract syntax trees within language processors courses (FJAM, JUF, JÁVI), pp. 209–210.
CIKM-2008-Moschitti #categorisation #kernel #relational #semantics: Kernel methods, syntax and semantics for relational text categorization (AM), pp. 253–262.
ECMDA-FA-2008-Fondement #visual notation: Graphical Concrete Syntax Rendering with SVG (FF), pp. 200–214.
ECMDA-FA-2008-GoldschmidtBU #classification: Classification of Concrete Textual Syntax Mapping Approaches (TG, SB, AU), pp. 169–184.
MoDELS-2008-JanotaKW #constraints #interactive #semantics: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
MoDELS-2008-JanotaKW #constraints #interactive #semantics: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
PEPM-2008-MastroeniZ #dependence #semantics #slicing: Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.
POPL-2008-Pientka #higher-order #programming: A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions (BP), pp. 371–382.
POPL-2008-Zeilberger #higher-order: Focusing and higher-order abstract syntax (NZ), pp. 359–369.
ICSE-2008-Bienk #semantics: Asam odx: syntax as semantics (SB), pp. 583–592.
SLE-2008-MoodyH #analysis #diagrams #effectiveness #uml #visual notation: Evaluating the Visual Syntax of UML: An Analysis of the Cognitive Effectiveness of the UMLFamily of Diagrams (DLM, JvH), pp. 16–34.
SLE-2008-OverbeyJ #abstract syntax tree #generative: Generating Rewritable Abstract Syntax Trees (JLO, REJ), pp. 114–133.
LICS-2008-Fiore #higher-order: Second-Order and Dependently-Sorted Abstract Syntax (MPF), pp. 57–68.
SIGMOD-2007-FanCB #query #xml: Querying xml with update syntax (WF, GC, PB), pp. 293–304.
MoDELS-2007-KrahnRV: Integrated Definition of Abstract and Concrete Syntax for Textual Languages (HK, BR, SV), pp. 286–300.
MoDELS-2007-KrahnRV: Integrated Definition of Abstract and Concrete Syntax for Textual Languages (HK, BR, SV), pp. 286–300.
GPCE-2007-BravenboerDV #injection: Preventing injection attacks with syntax embeddings (MB, ED, EV), pp. 3–12.
WRLA-2006-Reilles07 #abstract syntax tree #canonical: Canonical Abstract Syntax Trees (AR), pp. 165–179.
WCRE-2006-KoschkeFF #clone detection #detection #using: Clone Detection Using Abstract Syntax Suffix Trees (RK, RF, PF), pp. 253–262.
ICFP-2006-FisherS #static analysis: Static analysis for syntax objects (DF, OS), pp. 111–121.
MoDELS-2006-Baar #modelling #visual notation: Correctly Defined Concrete Syntax for Visual Modeling Languages (TB), pp. 111–125.
MoDELS-2006-MullerFFHSGJ #analysis #modelling #synthesis: Model-Driven Analysis and Synthesis of Concrete Syntax (PAM, FF, FF, MH, RS, SG, JMJ), pp. 98–110.
MoDELS-2006-Baar #modelling #visual notation: Correctly Defined Concrete Syntax for Visual Modeling Languages (TB), pp. 111–125.
MoDELS-2006-MullerFFHSGJ #analysis #modelling #synthesis: Model-Driven Analysis and Synthesis of Concrete Syntax (PAM, FF, FF, MH, RS, SG, JMJ), pp. 98–110.
OOPSLA-2006-BravenboerTV #aspectj #declarative: Declarative, formal, and extensible syntax definition for aspectJ (MB, ÉT, EV), pp. 209–228.
PLDI-2006-Grimm #composition: Better extensibility through modular syntax (RG), pp. 38–51.
JCDL-2005-HuttR #semantics: Semantics and syntax of dublin core usage in open archives initiative data providers of cultural heritage materials (AH, JR), pp. 262–270.
MSR-2005-NeamtiuFH #abstract syntax tree #comprehension #evolution #source code #using: Understanding source code evolution using abstract syntax tree matching (IN, JSF, MWH), pp. 81–85.
IFL-2005-WeeldenSP: Polytypic Syntax Tree Operations (AvW, SS, RP), pp. 142–159.
CHI-2005-Louca #programming #student #usability: The syntax or the story behind it?: a usability study of student work with computer-based programming environments in elementary science (LTL), pp. 849–858.
ECMDA-FA-2005-FondementB #metamodelling: Making Metamodels Aware of Concrete Syntax (FF, TB), pp. 190–204.
RE-2005-GeorgiadesAP #natural language #requirements #semantics: A Requirements Engineering Methodology Based On Natural Language Syntax and Semantics (MGG, ASA, CSP), pp. 473–474.
SAC-2005-PlakeHL #interactive #optimisation: Optimizing syntax patterns for discovering protein-protein interactions (CP, JH, UL), pp. 195–201.
GPCE-2005-BravenboerVVV #ambiguity #metaprogramming #source code #type system: Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax (MB, RV, JJV, EV), pp. 157–172.
SIGMOD-2004-ZhangHC #comprehension #interface #parsing #query #web: Understanding Web Query Interfaces: Best-Effort Parsing with Hidden Syntax (ZZ, BH, KCCC), pp. 107–118.
OOPSLA-2004-BravenboerV #domain-specific language #strict: Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions (MB, EV), pp. 365–383.
ICFP-2003-WashburnW #encoding #higher-order #morphism #parametricity #polymorphism: Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.
LOPSTR-2003-FischerV #prolog #synthesis: Adding Concrete Syntax to a Prolog-Based Program Synthesis System (BF, EV), pp. 56–58.
FoSSaCS-2003-MomiglianoA #higher-order #multi: Multi-level Meta-reasoning with Higher-Order Abstract Syntax (AM, SA), pp. 375–391.
ITiCSE-2002-LevyL #recursion: Shared terminology, private syntax: the case of recursive descriptions (DL, TL), pp. 89–93.
ICALP-2002-Pitts #semantics: Equivariant Syntax and Semantics (AMP), pp. 32–36.
VISSOFT-2002-PurchaseCMC #collaboration #comprehension #diagrams #empirical #uml: UML Collaboration Diagram Syntax: An Empirical Study of Comprehension (HCP, LC, MM, DAC), pp. 13–22.
PEPM-2002-BrabrandS #metaprogramming: Growing languages with metamorphic syntax macros (CB, MIS), pp. 31–40.
PLDI-2002-BakerH #java #multi #named: Maya: Multiple-Dispatch Syntax Extension in Java (JB, WCH), pp. 270–281.
GPCE-2002-Visser #metaprogramming: Meta-programming with Concrete Object Syntax (EV), pp. 299–315.
FLOPS-2001-DanvyR #haskell: A Simple Take on Typed Abstract Syntax in Haskell-like Languages (OD, MR), pp. 343–358.
ICFP-2001-Pitts #approach #functional #programming #representation: A Fresh Approach to Representing Syntax with Static Binders in Functional Programming (AMP), p. 1.
PPDP-2001-KamareddineBN #equivalence: De Bruijn’s Syntax and Reductional Equivalence of λ-Terms (FK, RB, RN), pp. 16–27.
LDTA-2001-LammelW #asf+sdf #ide: Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.
FoSSaCS-2001-RocklHB #formal method #higher-order #induction #π-calculus: Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.
IJCAR-2001-Luther: More On Implicit Syntax (ML), pp. 386–400.
ICML-2000-Zaanen #learning #recursion #using: Bootstrapping Syntax and Recursion using Alginment-Based Learning (MvZ), pp. 1063–1070.
CC-2000-Roth #array: Advanced Scalarization of Array Syntax (GR), pp. 219–231.
CADE-2000-MichaelA #bytecode #higher-order #logic #semantics: Machine Instruction Syntax and Semantics in Higher Order Logic (NGM, AWA), pp. 7–24.
CL-2000-Miller #overview #perspective: Abstract Syntax for Variable Binders: An Overview (DM), pp. 239–253.
FM-v2-1999-OcicaI #algebra #aspect-oriented #corba: Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL (RO, DI), p. 1863.
AGTIVE-1999-Blostein #semantics #visual notation: Defining the Syntax and Semantics of Natural Visual Languages (DB), pp. 225–232.
CADE-1999-FeltyHR #abstraction #using: Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems (APF, DJH, AR), pp. 237–251.
IWTCS-1999-Willcock #towards: New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax (CW), pp. 31–42.
LICS-1999-FiorePT: Abstract Syntax and Variable Binding (MPF, GDP, DT), pp. 193–202.
LICS-1999-GabbayP #approach: A New Approach to Abstract Syntax Involving Binders (MG, AMP), pp. 214–224.
LICS-1999-Hofmann #analysis #higher-order #semantics: Semantical Analysis of Higher-Order Abstract Syntax (MH0), pp. 204–213.
ICSM-1998-BaxterYMSB #abstract syntax tree #clone detection #detection #using: Clone Detection Using Abstract Syntax Trees (IDB, AY, LMdM, MS, LB), pp. 368–377.
WIA-1998-Velinov #graph #implementation #on the #semantics: On the Syntax, Semantics, and Implementation of a Graph-Based Computational Environment (YV), pp. 199–212.
TLCA-1997-DespeyrouxPS #higher-order #recursion: Primitive Recursion for Higher-Order Abstract Syntax (JD, FP, CS), pp. 147–163.
ASE-1997-Welty #abstract syntax tree #comprehension: Augmenting Abstract Syntax Trees for Program Understanding (CAW), pp. 126–133.
ICSE-1997-Wile: Abstract Syntax from Concrete Syntax (DSW), pp. 472–480.
LICS-1997-McDowellM #higher-order #logic #reasoning: A Logic for Reasoning with Higher-Order Abstract Syntax (RM, DM), pp. 434–445.
SEKE-1996-FoxBM #automation #debugging #fault #pascal #process: Automating the Debugging Process of Pascal Syntax Errors (RF, CB, JM), pp. 92–99.
CC-1996-KadhimW #composition #development #named #tool support: Maptool — Supporting Modular Syntax Development (BMK, WMW), pp. 268–280.
PODS-1995-StoloboushkinT #effectiveness #finite #query: Finite Queries do not Have Effective Syntax (APS, MAT), pp. 277–285.
TLCA-1995-DespeyrouxFH #coq #higher-order: Higher-Order Abstract Syntax in Coq (JD, APF, AH), pp. 124–138.
SEKE-1995-ChauC #semantics #visual notation: Visual Language Syntax and Semantics for Complex Reactive System (HLC, KFC), pp. 252–259.
ASF+SDF-1995-Uskudarli #specification #visual notation: Specifying Visual Syntax (SÜ), pp. 143–154.
ASF+SDF-1995-Visser #product line: A Family of Syntax Definition Formalisms (EV), pp. 89–126.
LFP-1994-JacobsS #lisp #persistent #semantics: Syntax and Semantics of a Persistent Common Lisp (JHJ, MRS), pp. 103–112.
ESOP-J-1992-Henglein94 #dynamic typing #proving #type system: Dynamic Typing: Syntax and Proof Theory (FH), pp. 197–230.
ESOP-1994-BerthomieuS #behaviour #framework #ml #programming #semantics: Programming with Behaviors in an ML Framework — The Syntax and Semantics of LCS (BB, TLS), pp. 89–104.
ICDAR-1993-LiiPS #recognition #using: Address block location using character recognition and address syntax (JL, PWP, SNS), pp. 330–334.
PLDI-1993-WeiseC #metaprogramming #programmable: Programmable Syntax Macros (DW, RFC), pp. 156–165.
TRI-Ada-1993-FergusonW #ada #framework #independence #platform: Platform Independent Translations for a Compilable Ada Abstract Syntax (WDF, JKW), pp. 312–322.
ILPS-1993-Felty #definite clause grammar #higher-order #parsing: Definite Clause Grammars for Parsing Higher-Order Syntax (APF), p. 668.
TOOLS-USA-1992-GrapeW #automation #development #evolution #generative: Automating the Development of Syntax Tree Generators for an Evolving Language (PG, KW), pp. 185–195.
CC-1992-Melichar #lr #parsing: Syntax Directed Translation with LR Parsing (BM), pp. 30–36.
VDME-1990-BlikleT #development #on the #process: On Conservative Extensions of Syntax in the Process of System Development (AB, MT), pp. 504–525.
KR-1989-McAllesterGF #first-order #taxonomy: Taxonomic Syntax for First Order Inference (DAM, RG, TF), pp. 289–300.
PLDI-1989-Cormack #fault #lr #parsing #string: An LR Substring Parser for Noncorrecting Syntax Error Recovery (GVC), pp. 161–169.
LFP-1988-AasaPS #functional: Concrete Syntax for Data Objects in Functional Languages (AA, KP, DS), pp. 96–105.
PLDI-1988-BallanceBG #abstraction #analysis #editing #incremental: Grammatical Abstraction and Incremental Syntax Analysis in a Language-Based Editor (RAB, JB, SLG), pp. 185–198.
PLDI-1988-PfenningE #higher-order: Higher-Order Abstract Syntax (FP, CE), pp. 199–208.
VDME-1987-Blikle: Denotational Engineering or from Denotations to Syntax (AB), pp. 151–209.
PLDI-1987-Clark #editing #interpreter: The JADE interpreter: a RISC interpreter for syntax directed editing (CFC), pp. 222–228.
ICSE-1984-Donzeau-GougeLM: Practical Applications of a Syntax Directed Program Manipulation Environment (VDG, BL, BM), pp. 346–357.
POPL-1982-Sandberg #flexibility #named: Lithe: A Language Combining a Flexible Syntax, Classes (DS), pp. 142–145.
ICALP-1980-EhrigKP #algebra #concept #correctness #data type #implementation #semantics: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness (HE, HJK, PP), pp. 142–156.
SCC-1979-PaiK #fault #parsing: Global context recovery: A new strategy for parser recovery from syntax errors (ABP, RBK), pp. 158–167.
VLDB-1978-Smith78b #normalisation: A Normal Form for Abstract Syntax (JMS), pp. 156–162.
POPL-1978-JoshiLY #constraints #programming language #semantics: Local Constraints in the Syntax and Semantics of Programming Languages (AKJ, LSL, KY), pp. 255–264.
ICALP-1972-Bohm #question: Can Syntax Be Ignored during Translation? (CB, MDC), pp. 197–207.
DAC-1968-Rader #equation #logic: Application of a syntax driver to logic equation processing and data-control card scanning (JAR).