BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
templat (8)
type (5)
reflect (5)
logic (4)
languag (4)

Stem metaprogram$ (all stems)

30 papers:

PLDIPLDI-2015-MarrSD #metaprogramming #performance #protocol
Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises (SM, CS, SD), pp. 545–554.
PEPMPEPM-2014-MiaoS #java #metaprogramming
Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.
GPCEGPCE-2014-ShiodaIS #domain-specific language #embedded #library #metaprogramming #named
LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming (MS, HI, SS), pp. 63–72.
CEFPCEFP-2013-PorkolabSS #c++ #domain-specific language #metaprogramming
DSL in C++ Template Metaprogram (ZP, ÁS, IS), pp. 76–114.
ICFPICFP-2013-Chlipala #generative #hoare #logic #metaprogramming #verification
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.
TOOLSTOOLS-EUROPE-J-2012-LilisS13 #approach #debugging #fault #metaprogramming
An Integrated Approach to Source Level Debugging and Compile Error Reporting in Metaprograms (YL, AS), pp. 1–26.
ICFPICFP-2012-Mainland #haskell #metaprogramming
Explicitly heterogeneous metaprogramming with MetaHaskell (GM), pp. 311–322.
DATEDATE-2011-KangD #classification #gpu #metaprogramming #scalability
Scalable packet classification via GPU metaprogramming (KK, YSD), pp. 871–874.
OOPSLAOOPSLA-2011-PalmerS #difference #java #metaprogramming
Backstage Java: making a difference in metaprogramming (ZP, SFS), pp. 939–958.
DATEDATE-2010-KlemmF #c++ #embedded #metaprogramming #using
Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.
SCAMSCAM-2010-Borok-NagyMMPP #c++ #metaprogramming #visualisation
Visualization of C++ Template Metaprograms (ZBN, VM, JM, NP, ZP), pp. 167–176.
PLDIPLDI-2010-Chlipala #metaprogramming #named #static typing
Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.
OOPSLAOOPSLA-2010-KloseO #composition #logic #metaprogramming
Modular logic metaprogramming (KK, KO), pp. 484–503.
GPCEGPCE-2010-MiaoS #incremental #metaprogramming
Incremental type-checking for type-reflective metaprograms (WM, JGS), pp. 167–176.
CEFPCEFP-2009-Porkolab #c++ #functional #metaprogramming
Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.
GPCEGPCE-2009-GarciaL #metaprogramming #towards
Toward foundations for type-reflective metaprogramming (RG, AL), pp. 25–34.
ECOOPECOOP-2007-ReppyT #metaprogramming
Metaprogramming with Traits (JHR, AT), pp. 373–398.
GPCEGPCE-2007-TrujilloAD #generative #metaprogramming
Generative metaprogramming (ST, MA, OD), pp. 105–114.
PEPMPEPM-2006-Veldhuizen #metaprogramming #trade-off
Tradeoffs in metaprogramming (TLV), pp. 150–159.
GPCEGPCE-2006-PorkolabMS #c++ #debugging #metaprogramming
Debugging C++ template metaprograms (ZP, JM, ÁS), pp. 255–264.
GTTSEGTTSE-2005-PorkolabZ #c++ #composition #metaprogramming #problem
A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.
GPCEGPCE-2003-Dincklage #metaprogramming
Making Patterns Explicit with Metaprogramming (DvD), pp. 287–306.
GPCEGPCE-2003-ZolyomiPK #c++ #metaprogramming #type system
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.
GPCEGPCE-2002-BrichauMV #composition #logic #metaprogramming
Building Composable Aspect-Specific Languages with Logic Metaprogramming (JB, KM, KDV), pp. 110–127.
GPCEGCSE-2001-AttardiC #metaprogramming
Reflection Support by Means of Template Metaprogramming (GA, AC), pp. 118–127.
GPCEGCSE-2000-LudwigH #in the large #metaprogramming
Metaprogramming in the Large (AL, DH), pp. 178–187.
SEKESEKE-1995-Ait-AmeurBGPP #metaprogramming #specification
Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.
ICLPICLP-1993-LeviR #formal method #metaprogramming
A Formalization of Metaprogramming for real (GL, DR), pp. 354–373.
LICSLICS-1989-Pfenning #logic #metaprogramming #named
Elf: A Language for Logic Definition and Verified Metaprogramming (FP), pp. 313–322.
ICLPJICSCP-1988-Abramson88 #approach #aspect-oriented #definite clause grammar #metaprogramming
Metarules and an Approach to Conjunction in Definite Clause Translation Grammars: Some Aspects of Grammatical Metaprogramming (HA), pp. 233–248.

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.