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
metaprogramming
Google metaprogramming

Tag #metaprogramming

157 papers:

POPLPOPL-2020-ChangBTB #dependent type #type system
Dependent type systems as macros (SC, MB, MT, WJB), p. 29.
AIIDEAIIDE-2019-XuKZHLS #learning
Macro Action Selection with Deep Reinforcement Learning in StarCraft (SX, HK, ZZ, RH, YL, HS), pp. 94–99.
CoGCoG-2019-ChenL #game studies #learning
Macro and Micro Reinforcement Learning for Playing Nine-ball Pool (YC, YL), pp. 1–4.
OOPSLAOOPSLA-2019-WeiCR #composition #performance #program analysis #staged
Staged abstract interpreters: fast and modular whole-program analysis via meta-programming (GW, YC, TR), p. 32.
ESOPESOP-2019-MartinezADGHHNP #automation #proving #smt
Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms (GM, DA, VD, NG, CH, CH, MN, ZP, CPC, JP, TR, AR, NS), pp. 30–59.
ICPRICPR-2018-BoudraYB #identification #statistics
Plant identification from bark: A texture description based on Statistical Macro Binary Pattern (SB, IY, AB), pp. 1530–1535.
GPCEGPCE-2018-Binsbergen #generative
Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) (LTvB), pp. 168–174.
GPCEGPCE-2018-StuckiBO #multi #unification
A practical unification of multi-stage programming and macros (NS, AB, MO), pp. 14–27.
GPCEGPCE-2018-SusungiRCCT #optimisation
Meta-programming for cross-domain tensor optimizations (AS, NAR, AC, JC, CT), pp. 79–92.
CGOCGO-2018-DavisSO #data flow #graph
Transforming loop chains via macro dataflow graphs (ECD, MMS, CO), pp. 265–277.
SANERSANER-2017-DurieuxCSM #exception #generative #null #pointer #using
Dynamic patch generation for null pointer exceptions using metaprogramming (TD, BC, LS, MM), pp. 349–358.
ICFP-2017-EbnerURAM #framework #verification
A metaprogramming framework for formal verification (GE, SU0, JR, JA, LdM), p. 29.
ECOOPECOOP-2017-BergerTU #generative #modelling
Modelling Homogeneous Generative Meta-Programming (MB, LT, CU), p. 23.
POPLPOPL-2017-ChangKG #type system
Type systems as macros (SC, AK, BG), pp. 694–705.
PPDPPPDP-2017-LaforgueR #ml #pattern matching
Copattern matching and first-class observations in OCaml, with a macro (PL, YRG), pp. 97–108.
GPCEGPCE-2017-Al-KofahiKK
Four languages and lots of macros: analyzing autotools build systems (JMAK, SK, CK), pp. 176–186.
SLESLE-2017-LiF #debugging
Debugging with domain-specific events via macros (XL, MF), pp. 91–102.
CASECASE-2017-WangWQL #constraints #network #social
From micro to macro: Propagated constraints in social networks (CW, YW, TQ, HL), pp. 1534–1539.
ECMFAECMFA-2016-ScheidgenEM #api #case study #library #metamodelling #rest
Metamodeling vs Metaprogramming: A Case Study on Developing Client Libraries for REST APIs (MS, SE, FM), pp. 205–216.
ESOPESOP-2016-SchusterDF #named #refactoring
Macrofication: Refactoring by Reverse Macro Expansion (CS, TD, CF), pp. 644–671.
HCIDUXU-DD-2015-Liang #industrial #on the #online
On Chinese Online P2P Lender’s Model Building on the Macro, Micro and Industry Level (QL), pp. 315–327.
ICMLICML-2015-NarayanPA
α-β Divergences Discover Micro and Macro Structures in Data (KSN, AP, PA), pp. 796–804.
PLDIPLDI-2015-BowmanMSD
Profile-guided meta-programming (WJB, SM, VSA, RKD), pp. 403–412.
PLDIPLDI-2015-MarrSD #performance #protocol
Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises (SM, CS, SD), pp. 545–554.
POPLPOPL-2015-GiacobazziLR #analysis
Analyzing Program Analyses (RG, FL, FR), pp. 261–273.
SACSAC-2015-LopezR #analysis
Meta-programming with well-typed code analysis (ML, GDR), pp. 2119–2121.
SACSAC-2015-OmarWA #composition #syntax
Composable and hygienic typed syntax macros (CO, CW, JA), pp. 1986–1991.
GPCEGPCE-2015-YamaguchiC #scala
Inverse macro in Scala (HY, SC), pp. 85–94.
DATEDATE-2015-WeiDLW
A universal macro block mapping scheme for arithmetic circuits (XW, YD, TKL, YLW), pp. 1629–1634.
SANERCSMR-WCRE-2014-RooverS #development #library #tool support #using
Building development tools interactively using the EKEKO meta-programming library (CDR, RS), pp. 429–433.
LISPILC-2014-WakitaHS #framework #implementation #javascript
Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.
HCIHCI-TMT-2014-SzklannySWCW #interface #named #performance
SyncBox — Synchronizer and Interface for High-Speed Macro Photography (KS, AS, PW, SC, AW), pp. 652–661.
KDDKDD-2014-ZhouWHY #data-driven
From micro to macro: data driven phenotyping by densification of longitudinal electronic medical records (JZ, FW, JH, JY), pp. 135–144.
PEPMPEPM-2014-MiaoS #java
Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.
FSEFSE-2014-OverbeyBH #c #refactoring
A foundation for refactoring C with macros (JLO, FB, MH), pp. 75–85.
GPCEGPCE-2014-ShiodaIS #domain-specific language #embedded #library #named
LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming (MS, HI, SS), pp. 63–72.
DACDAC-2014-ChenHCCW
Routability-Driven Blockage-Aware Macro Placement (YFC, CCH, CHC, YWC, CJW), p. 6.
CEFPCEFP-2013-PorkolabSS #c++ #domain-specific language
DSL in C++ Template Metaprogram (ZP, ÁS, IS), pp. 76–114.
ICFPICFP-2013-Chlipala #generative #hoare #logic #verification
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.
ICFPICFP-2013-DevrieseP
Typed syntactic meta-programming (DD, FP), pp. 73–86.
HCIDUXU-WM-2013-SauckenML #approach #case study #design #experience #how #user interface
How to Design Experiences: Macro UX versus Micro UX Approach (CvS, IM, UL), pp. 130–139.
TOOLSTOOLS-EUROPE-J-2012-LilisS13 #approach #debugging #fault
An Integrated Approach to Source Level Debugging and Compile Error Reporting in Metaprograms (YL, AS), pp. 1–26.
PPDPPPDP-2013-KennedyBJD #assembly #coq #named #question
Coq: the world’s best macro assembler? (AK, NB, JBJ, PÉD), pp. 13–24.
ICSMEICSM-2012-KumarSS12a
The demacrofier (AK, AS, BS), pp. 658–661.
ICFPICFP-2012-Mainland #haskell
Explicitly heterogeneous metaprogramming with MetaHaskell (GM), pp. 311–322.
ECOOPECOOP-2012-LeeGHM #named
Marco: Safe, Expressive Macros for Any Language (BL, RG, MH, KSM), pp. 589–613.
TOOLSTOOLS-EUROPE-2012-LilisS #debugging #fault #precise
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.
PEPMPEPM-2012-Berger #specification #verification
Specification and verification of meta-programs (MB), pp. 3–4.
PEPMPEPM-2012-HirzelG #using
Streams that compose using macros that oblige (MH, BG), pp. 141–150.
DATEDATE-2012-DimitrakopoulosK #multi #network
Dynamic-priority arbiter and multiplexer soft macros for on-chip networks switches (GD, EK), pp. 542–545.
PDPPDP-2012-AldinucciADTK #data flow #manycore #parallel
Parallel Patterns + Macro Data Flow for Multi-core Programming (MA, LA, MD, MT, PK), pp. 27–36.
ICSMEICSM-2011-Roover #detection #logic #object-oriented #source code
A logic meta-programming foundation for example-driven pattern detection in object-oriented programs (CDR), pp. 556–561.
WCREWCRE-2011-JaafarGHA #case study
An Exploratory Study of Macro Co-changes (FJ, YGG, SH, GA), pp. 325–334.
FDGFDG-2011-CooperKMLBBFPp #analysis #social
Analysis of social gameplay macros in the Foldit cookbook (SC, FK, IM, HL, JB, DB, JF, ZP, Fp), pp. 9–14.
OOPSLAOOPSLA-2011-KastnerGREOB #compilation #parsing #variability
Variability-aware parsing in the presence of lexical macros and conditional compilation (CK, PGG, TR, SE, KO, TB), pp. 805–824.
OOPSLAOOPSLA-2011-PalmerS #difference #java
Backstage Java: making a difference in metaprogramming (ZP, SFS), pp. 939–958.
DATEDATE-2011-KangD #classification #gpu #scalability
Scalable packet classification via GPU metaprogramming (KK, YSD), pp. 871–874.
SCAMSCAM-2010-Borok-NagyMMPP #c++ #visualisation
Visualization of C++ Template Metaprograms (ZBN, VM, JM, NP, ZP), pp. 167–176.
ICFPICFP-2010-CulpepperF
Fortifying macros (RC, MF), pp. 235–246.
OOPSLAOOPSLA-2010-KloseO #composition #logic
Modular logic metaprogramming (KK, KO), pp. 484–503.
PLDIPLDI-2010-Chlipala #named #static typing
Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.
PPDPPPDP-2010-SnowBN #approach #logic programming
A meta-programming approach to realizing dependently typed logic programming (ZS, DB, GN), pp. 187–198.
GPCEGPCE-J-2007-CulpepperF10 #debugging
Debugging hygienic macros (RC, MF), pp. 496–515.
GPCEGPCE-2010-MiaoS #incremental
Incremental type-checking for type-reflective metaprograms (WM, JGS), pp. 167–176.
SLESLE-2010-KatsKV #ambiguity #interactive #source code #syntax
Interactive Disambiguation of Meta Programs with Concrete Object Syntax (LCLK, KTK, EV), pp. 327–336.
DATEDATE-2010-KlemmF #c++ #embedded #using
Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
CEFPCEFP-2009-Porkolab #c++ #functional
Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.
CoGCIG-2009-MalikD #behaviour #coordination #multi #testing #using
Improving testing of multi-unit computer players for unwanted behavior using coordination macros (AM, JD), pp. 355–362.
KDIRKDIR-2009-WohrerZDB #composition #data mining #mining #optimisation #towards
Unboxing Data Mining Via Decomposition in Operators — Towards Macro Optimization and Distribution (AW, YZ, EuHD, PB), pp. 243–248.
ASEASE-2009-SaebjoernsenJQS #c #preprocessor #validation
Static Validation of C Preprocessor Macros (AS, LJ, DJQ, ZS), pp. 149–160.
GTTSEGTTSE-2009-KlintSV #rascal
EASY Meta-programming with Rascal (PK, TvdS, JJV), pp. 222–289.
GPCEGPCE-2009-GarciaL #towards
Toward foundations for type-reflective metaprogramming (RG, AL), pp. 25–34.
DACDAC-2009-ChaoYHLC #fault #modelling
Fault models for embedded-DRAM macros (MCTC, HYY, RFH, SCL, CYC), pp. 714–719.
ECSAECSA-2008-DamaseviciusST #component #design #diagrams #feature model #generative #ontology #using
Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques (RD, VS, JT), pp. 338–341.
CIAACIAA-2008-InabaHM #multi #transducer
Multi-Return Macro Tree Transducers (KI, HH, SM), pp. 102–111.
PPDPPPDP-2008-ThiemannN #context-free grammar
Macros for context-free grammars (PT, MN), pp. 120–130.
FSEFSE-2008-KoesnandarERHSS #using #web
Using assertions to help end-user programmers create dependable web macros (AK, SGE, GR, LH, CS, KTS), pp. 124–134.
ESOPESOP-2008-HermanW #formal method
A Theory of Hygienic Macros (DH, MW), pp. 48–62.
ECOOPECOOP-2007-ReppyT
Metaprogramming with Traits (JHR, AT), pp. 373–398.
ICSEICSE-2007-KarailaS #case study #experience #industrial #visual notation
Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language — An Industrial Experience Report (MK, TS), pp. 571–580.
GPCEGPCE-2007-CulpepperF #debugging
Debugging macros (RC, MF), pp. 135–144.
GPCEGPCE-2007-TrujilloAD #generative
Generative metaprogramming (ST, MA, OD), pp. 105–114.
DACDAC-2007-ChenYCHL #algorithm #design #named
MP-trees: A Packing-Based Macro Placement Algorithm for Mixed-Size Designs (TCC, PHY, YWC, FJH, DL), pp. 447–452.
ICSMEICSM-2006-YaoMKB #automation #c #program transformation #source code
C Macro Handling in Automated Source Code Transformation Systems (BY, WM, SK, RB), pp. 68–69.
SCAMSCAM-2006-JacobsL #c #semantics
SMART C: A Semantic Macro Replacement Translator for C (MJ, ECL), pp. 95–106.
PEPMPEPM-2006-Veldhuizen #trade-off
Tradeoffs in metaprogramming (TLV), pp. 150–159.
GPCEGPCE-2006-PorkolabMS #c++ #debugging
Debugging C++ template metaprograms (ZP, JM, ÁS), pp. 255–264.
GPCEGPCE-2006-ShiCX #distributed
Distributed meta-programming (RS, CC, HX), pp. 243–248.
ICLPICLP-2006-BaralDT #composition #set #using
Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming (CB, JD, HT), pp. 376–390.
PODSPODS-2005-ManethBPS #transducer #type checking #xml
XML type checking with macro tree transducers (SM, AB, TP, HS), pp. 283–294.
GTTSEGTTSE-2005-PorkolabZ #c++ #composition #problem
A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.
GPCEGPCE-2005-BravenboerVVV #ambiguity #source code #syntax #type system
Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax (MB, RV, JJV, EV), pp. 157–172.
IWPCIWPC-2004-MennieC
Giving Meaning to Macros (CAM, CLAC), pp. 79–88.
SEKESEKE-2004-JarzabekSZZ #analysis #case study
Analysis of meta-programs: a case study (SJ, RS, HZ, ZS), pp. 68–73.
GPCEGPCE-2004-CulpepperF
Taming Macros (RC, MF), pp. 225–243.
GPCEGPCE-2004-PasalicL
Meta-programming with Typed Object-Language Representations (EP, NL), pp. 136–167.
DATEDATE-v1-2004-BeniniIMM #design #memory management
Block-Enabled Memory Macros: Design Space Exploration and Application-Specific Tuning (LB, AI, AM, EM), pp. 698–699.
CSMRCSMR-2003-TourweM #identification #logic #refactoring #using
Identifying Refactoring Opportunities Using Logic Meta Programming (TT, TM), pp. 91–100.
ICFPICFP-2003-ChenX #representation
Meta-programming through typeful code representation (CC, HX), pp. 275–286.
ESEC-FSEESEC-FSE-2003-JarzabekS #adaptation #composition
Eliminating redundancies with a “composition with adaptation” meta-programming technique (SJ, SL), pp. 237–246.
GPCEGPCE-2003-Dincklage
Making Patterns Explicit with Metaprogramming (DvD), pp. 287–306.
GPCEGPCE-2003-ZolyomiPK #c++ #type system
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.
ICFPICFP-2002-Flatt #composition #question
Composable and compilable macros: : you want it when? (MF), pp. 72–83.
ICFPICFP-2002-Nanevski
Meta-programming with names and necessity (AN), pp. 206–217.
ICPRICPR-v4-2002-HoogsCK #3d #classification #using
Classification of 3D Macro Texture Using Perceptual Observables (AH, RC, RK), pp. 113–117.
PEPMPEPM-2002-BrabrandS #syntax
Growing languages with metamorphic syntax macros (CB, MIS), pp. 31–40.
GPCEGPCE-2002-BrichauMV #composition #logic
Building Composable Aspect-Specific Languages with Logic Metaprogramming (JB, KM, KDV), pp. 110–127.
GPCEGPCE-2002-Kiselyov
Macros That Compose: Systematic Macro Programming (OK), pp. 202–217.
GPCEGPCE-2002-Visser #syntax
Meta-programming with Concrete Object Syntax (EV), pp. 299–315.
ICFPICFP-2001-GanzST #generative #multi #type safety
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML (SEG, AS, WT), pp. 74–85.
GPCEGCSE-2001-AttardiC
Reflection Support by Means of Template Metaprogramming (GA, AC), pp. 118–127.
GPCESAIG-2001-FerrariMP #named
MetaKlaim: Meta-programming for Global Computing (GLF, EM, RP), pp. 183–198.
GPCESAIG-2001-Sheard #challenge #research
Accomplishments and Research Challenges in Meta-programming (TS), pp. 2–44.
TOOLSTOOLS-EUROPE-2000-AssmannBG
Meta-Programming Grey-Box Connectors (UA, HB, TG), pp. 300–311.
GPCEGCSE-2000-LudwigH #in the large
Metaprogramming in the Large (AL, DH), pp. 178–187.
POPLPOPL-2000-Bawden
First-Class Macros have Types (AB), pp. 133–141.
GPCEGCSE-1999-KrishnamurthiFD #generative #reuse
From Macros to Reusable Generative Programming (SK, MF, BFD), pp. 105–120.
FoSSaCSFoSSaCS-1999-Maneth #string #transducer
String Languages Generated by Total Deterministic Macro Tree Transducers (SM), pp. 258–272.
TOOLSTOOLS-PACIFIC-1998-Chiba #object-oriented
Macro Processing in Object-Oriented Languages (SC), pp. 113–126.
PDPPDP-1998-ArtiagaMBN #case study #experience #implementation #multi
Experiences on implementing PARMACS macros to run the SPLASH-2 suite on multiprocessors (EA, XM, YB, NN), pp. 64–69.
ICFPICFP-1997-Lassila #code generation #confluence #context-sensitive grammar #functional #optimisation
A Functional Macro Expansion System for Optimizing Code Generation: Gaining Context-Sensitivity without Losing Confluence (EL), p. 315.
DATEEDTC-1997-KaalK #generative #testing
Compact structural test generation for analog macros (VK, HGK), pp. 581–587.
SEKESEKE-1995-Ait-AmeurBGPP #specification
Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.
LOPSTRLOPSTR-1994-Hill
A Module System for Meta-Programming (PMH), pp. 395–409.
CAVCAV-1994-Hungar #model checking #process
Model Checking of macro Processes (HH), pp. 169–181.
PLDIPLDI-1993-WeiseC #programmable #syntax
Programmable Syntax Macros (DW, RFC), pp. 156–165.
PPDPPLILP-1993-LimS #approach #constraints #logic programming
A Conservative Approach to Meta-Programming in Constraint Logic Programming (PL, JS), pp. 44–59.
DACDAC-1993-LiaoDWC #network #polynomial #using
S-Parameter Based Macro Model of Distributed-Lumped Networks Using Exponentially Decayed Polynomial Function (HL, WWMD, RW, FYC), pp. 726–731.
ICLPICLP-1993-LeviR #formal method
A Formalization of Metaprogramming for real (GL, DR), pp. 354–373.
LISPLFP-1992-BoveA #calculus #confluence #evaluation
A Confluent Calculus of Macro Expansion and Evaluation (AB, LA), pp. 278–287.
ICLPJICSLP-1992-MartensS #semantics
A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming (BM, DDS), pp. 511–525.
ICLPJICSLP-1992-Sato
Meta-Programming through a Truth Predicate (TS), pp. 526–540.
POPLPOPL-1991-ClingerR
Macros That Work (WDC, JR), pp. 155–162.
SASWSA-1991-QueinnecP #composition #evaluation #lisp
A Proposal for a Modular Lisp with Macros and Dynamic Evaluation (CQ, JAP), pp. 1–8.
ICLPICLP-1991-ChengRS #prolog
Higher Level Meta Programming in Qu-Prolog 3: 0 (ASKC, PJR, JS), pp. 285–298.
DACDAC-1990-UptonSS #design #standard
Integrated Placement for Mixed Macro Cell and Standard Cell Designs (MU, KS, SS), pp. 32–35.
ICLPNACLP-1990-LimS #constraints
Meta Programming as Constraint Programming (PL, PJS), pp. 416–430.
TAPSOFTAS-1989-Krieg-Bruckner #algebra #development #specification
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development (BKB), pp. 36–59.
LICSLICS-1989-Pfenning #logic #named
Elf: A Language for Logic Definition and Verified Metaprogramming (FP), pp. 313–322.
ICLPNACLP-1989-HeintzeMSY #on the
On Meta-Programming in CLR(R) (NH, SM, PJS, RHCY), pp. 52–66.
DACDAC-1988-ChakravertiC #algorithm #array
Routing Algorithm for Gate Array Macro Cells (AC, MJC), pp. 658–662.
DACDAC-1988-Sechen #using
Chip-Planning, Placement, and Global Routing of Macro/Custom Cell Integrated Circuits Using Simulated Annealing (CS), pp. 73–80.
ICLPJICSCP-1988-Abramson88 #approach #aspect-oriented #definite clause grammar
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming (HA), pp. 233–248.
ICLPJICSCP-1988-KondohC88 #prolog
Macro Processing in Prolog (SiK, TC), pp. 466–480.
FMVDME-1987-Bjorner #development #graph
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments (DB), pp. 77–96.
OOPSLAOOPSLA-1987-GrimshawL #data flow #named #object-oriented
Mentat: An Object-Oriented Macro Data Flow System (ASG, JWSL), pp. 35–47.
POPLPOPL-1987-KohlbeckerW #named #specification
Macro-by-Example: Deriving Syntactic Transformations from their Specifications (EEK, MW), pp. 77–84.
LISPLFP-1986-DybvigFH
Expansion-Passing Style: Beyond Conventional Macros (RKD, DPF, CTH), pp. 143–150.
LISPLFP-1986-KohlbeckerFFD
Hygienic Macro Expansion (EEK, DPF, MF, BFD), pp. 151–161.
AdaCRAI-1986-Bjorner #development #formal method #graph #towards
Project Graphs and Meta-Programs. Towards a Theory of Software Development (DB), pp. 117–152.
DACDAC-1986-FrisonG #editing #layout #named
MADMACS: a new VLSI layout macro editor (PF, EG), pp. 654–658.
STOCSTOC-1986-ColeV #algorithm #design #parallel
Deterministic coin tossing and accelerating cascades: micro and macro techniques for designing parallel algorithms (RC, UV), pp. 206–219.
DACDAC-1985-TeraiHK #array #standard
A routing procedure for mixed array of custom macros and standard cells (HT, MH, TK), pp. 503–508.
DACDAC-1984-KrieteN #design #parametricity
A VLSI design methodology based on parametric macro cells (RAK, RKN), pp. 686–688.
STOCSTOC-1978-StorerS
The Macro Model for Data Compression (JAS, TGS), pp. 30–39.
ICALPICALP-1977-Engelfriet
Macro Grammars, Lindenmayer Systems and Other Copying Devices (JE), pp. 221–229.
LISPLISP-1963-Hart #lisp
Macro Instructions for LISP (TH), p. 4.

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.