Tag #grammarware
50 papers:
FDG-2017-Valls-VargasZO #game studies #generative #graph grammar #learning #parallel #programming- Graph grammar-based controllable generation of puzzles for a learning game about parallel programming (JVV, JZ, SO), p. 10.
BX-2016-Leblebici #approach #consistency #graph grammar #towards #traceability- Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability Support (EL), pp. 35–39.
DLT-2015-Lohrey - Grammar-Based Tree Compression (ML), pp. 46–57.
- FDG-2015-TraichioiuBR #generative
- Grammar-based Procedural Content Generation from Designer-provided Difficulty Curves (MT, SB, DMR).
DAC-2015-JassiMS #delivery #design #integration #named- GRIP: grammar-based IP integration and packaging for acceleration-rich SoC designs (MJ, DMG, US), p. 6.
ICTSS-2015-HentzVM #cost analysis #testing #using- Reducing the Cost of Grammar-Based Testing Using Pattern Coverage (CH, JJV, AMM), pp. 71–85.
PEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative- Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
LDTA-J-2011-JohnstoneSB #composition #specification- Modular grammar specification (AJ, ES, MvdB), pp. 23–43.
SLE-J-2012-PaigeKP #metamodelling #research #tutorial- A tutorial on metamodelling for grammar researchers (RFP, DSK, FACP), pp. 396–416.
ICST-2014-KifetewJTOT #source code- Reproducing Field Failures for Programs with Complex Grammar-Based Input (FMK, WJ, RT, AO, PT), pp. 163–172.
WCRE-2013-AvanciniC #named #testing #web- Circe: A grammar-based oracle for testing Cross-site scripting in web applications (AA, MC), pp. 262–271.
ASE-2013-KifetewJTOT #approach #named #source code- SBFR: A search based approach for reproducing failures of programs with grammar based input (FMK, WJ, RT, AO, PT), pp. 604–609.
- SLE-2013-Zaytsev
- Micropatterns in Grammars (VZ), pp. 117–136.
- ICTSS-2013-GuoQ #automation #generative #testing
- Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
LATA-2012-GagieGKNP #performance #self- A Faster Grammar-Based Self-index (TG, PG, JK, YN, SJP), pp. 240–251.
- SLE-2012-AfroozehBBJMMS #gll #semiparsing #using
- Island Grammar-Based Parsing Using GLL and Tom (AA, JCB, MvdB, AJ, MM, PEM, ES), pp. 224–243.
- SLE-2012-PaigeKP #metamodelling #research
- Metamodelling for Grammarware Researchers (RFP, DSK, FACP), pp. 64–82.
- ICST-2012-EnderlinDGB #php #testing #using
- Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.
- ICST-2012-SaleckerG #combinator #interactive #testing
- Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing (ES, SG), pp. 610–619.
SEKE-2011-RoudakiK #graph grammar #web- Graph Grammar Based Web Data Extraction (AR, JK), pp. 373–378.
- LATA-2010-GagieG #streaming
- Grammar-Based Compression in a Streaming Model (TG, PG), pp. 273–284.
ESOP-2010-MatsudaMHT #approach #source code- A Grammar-Based Approach to Invertible Programs (KM, SCM, ZH, MT), pp. 448–467.
SIGMOD-2009-ArasuK #framework #representation- A grammar-based entity representation framework for data cleaning (AA, RK), pp. 233–244.
TOOLS-EUROPE-2009-SadilekW #semantics #using- Using Grammarware Languages to Define Operational Semantics of Modelled Languages (DAS, GW), pp. 348–356.
DATE-2009-DasV #approach #automation #design #graph grammar #multi- A graph grammar based approach to automated multi-objective analog circuit design (AD, RV), pp. 700–705.
PLDI-2008-GodefroidKL #fuzzing- Grammar-based whitebox fuzzing (PG, AK, MYL), pp. 206–215.
- LDTA-2007-BouwersBV08 #precedence
- Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking (EB, MB, EV), pp. 85–101.
- SLE-2008-AlvesV #case study
- A Case Study in Grammar Engineering (TLA, JV), pp. 285–304.
ICDAR-2007-CostagliolaDR #diagrams #sketching #using- Using Grammar-Based Recognizers for Symbol Completion in Diagrammatic Sketches (GC, VD, MR), pp. 1078–1082.
ECOOP-2007-WykKBS #attribute grammar #java- Attribute Grammar-Based Language Extensions for Java (EVW, LK, DB, AS), pp. 575–599.
- TestCom-2006-LammelS #combinator #testing
- Controllable Combinatorial Coverage in Grammar-Based Testing (RL, WS), pp. 19–38.
- ASE-2005-HennessyP #analysis #generative #testing
- An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software (MH, JFP), pp. 104–113.
SAC-2005-FalcoTCG05a #approach #clustering #novel #programming #search-based- A novel grammar-based genetic programming approach to clustering (IDF, ET, ADC, FG), pp. 928–932.
- ESOP-2005-LeeYY #analysis #automation #pointer #source code #using #verification
- Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis (OL, HY, KY), pp. 124–140.
CIKM-2004-SrinivasanADZ #analysis #web- Grammar-based task analysis of web logs (SS, AA, PMD, VZ), pp. 244–245.
- ICDAR-2003-AmanoA #analysis #documentation #graph grammar
- Graph Grammar Based Analysis System of Complex Table Form Document (AA, NA), pp. 916–920.
- SAC-2002-SinghS #generative
- Grammar based off line generation of disposable credit card numbers (AS, ALMdS), pp. 221–228.
- ICDAR-2001-AmanoAMSS #analysis #documentation #synthesis
- Table Form Document Synthesis by Grammar-Based Structure Analysis (AA, NA, TM, TS, KS), pp. 533–539.
SAS-2001-LiuLS #constraints- Solving Regular Tree Grammar Based Constraints (YAL, NL, SDS), pp. 213–233.
HCI-CCAD-1999-AntonaAS #approach #design #human-computer- A grammar-based approach for populating HCI design spaces (MA, DA, CS), pp. 843–847.
- DATE-1998-EconomakosPT #attribute grammar #automation #design #named
- AGENDA: An Attribute Grammar Driven Environment for the Design Automation of Digital Systems (GE, GKP, PT), pp. 933–934.
- DATE-1998-ObergHK #communication #hardware #protocol #scheduling #synthesis
- Scheduling of Outputs in Grammar-based Hardware Synthesis of Data Communication Protocols (JÖ, AH, AK), pp. 596–603.
ESEC-1995-SchurrWZ #graph grammar- Graph Grammar Engineering with PROGRES (AS, AJW, AZ), pp. 219–234.
- SIGMOD-1989-GyssensPG #approach #modelling #towards
- A Grammar-Based Approach Towards Unifying Hierarchical Data Models (MG, JP, DVG), pp. 263–272.
- DAC-1989-BamjiA #named #parsing
- GRASP: A Grammar-based Schematic Parser (CB, JA), pp. 448–453.
GG-1986-BaileyC #graph grammar #parallel #specification- Graph Grammar Based Specification of Interconnection Structures for Massively Parallel Computation (DAB, JEC), pp. 73–85.
- GG-1986-EngelsLS #graph grammar #specification
- Graph Grammar Engineering: A Software Specification Method (GE, CL, WS), pp. 186–201.
CSE-1985-EngelsS #development #graph grammar #programming- Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment (GE, WS), pp. 179–193.
POPL-1982-Farrow #attribute grammar #compilation #experience- Experience with an Attribute Grammar-Based Compiler (RF), pp. 95–107.
- SIGFIDET-1974-LiuH
- A Record Oriented, Grammar Driven Data Translation Model (SL, JH), pp. 171–189.
