Stem metaprogram$ (all stems)

30 papers:

PLDI-2015-MarrSD #metaprogramming #performance #protocol

Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises (SM, CS, SD), pp. 545–554.

PEPM-2014-MiaoS #java #metaprogramming

Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.

GPCE-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.

CEFP-2013-PorkolabSS #c++ #domain-specific language #metaprogramming

DSL in C++ Template Metaprogram (ZP, ÁS, IS), pp. 76–114.

ICFP-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.

TOOLS-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.

ICFP-2012-Mainland #haskell #metaprogramming

Explicitly heterogeneous metaprogramming with MetaHaskell (GM), pp. 311–322.

DATE-2011-KangD #classification #gpu #metaprogramming #scalability

Scalable packet classification via GPU metaprogramming (KK, YSD), pp. 871–874.

OOPSLA-2011-PalmerS #difference #java #metaprogramming

Backstage Java: making a difference in metaprogramming (ZP, SFS), pp. 939–958.

DATE-2010-KlemmF #c++ #embedded #metaprogramming #using

Bitstream processing for embedded systems using C++ metaprogramming (RK, GF), pp. 909–913.

SCAM-2010-Borok-NagyMMPP #c++ #metaprogramming #visualisation

Visualization of C++ Template Metaprograms (ZBN, VM, JM, NP, ZP), pp. 167–176.

PLDI-2010-Chlipala #metaprogramming #named #static typing

Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.

OOPSLA-2010-KloseO #composition #logic #metaprogramming

Modular logic metaprogramming (KK, KO), pp. 484–503.

GPCE-2010-MiaoS #incremental #metaprogramming

Incremental type-checking for type-reflective metaprograms (WM, JGS), pp. 167–176.

CEFP-2009-Porkolab #c++ #functional #metaprogramming

Functional Programming with C++ Template Metaprograms (ZP), pp. 306–353.

GPCE-2009-GarciaL #metaprogramming #towards

Toward foundations for type-reflective metaprogramming (RG, AL), pp. 25–34.

ECOOP-2007-ReppyT #metaprogramming

Metaprogramming with Traits (JHR, AT), pp. 373–398.

GPCE-2007-TrujilloAD #generative #metaprogramming

Generative metaprogramming (ST, MA, OD), pp. 105–114.

PEPM-2006-Veldhuizen #metaprogramming #trade-off

Tradeoffs in metaprogramming (TLV), pp. 150–159.

GPCE-2006-PorkolabMS #c++ #debugging #metaprogramming

Debugging C++ template metaprograms (ZP, JM, ÁS), pp. 255–264.

GTTSE-2005-PorkolabZ #c++ #composition #metaprogramming #problem

A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.

GPCE-2003-Dincklage #metaprogramming

Making Patterns Explicit with Metaprogramming (DvD), pp. 287–306.

GPCE-2003-ZolyomiPK #c++ #metaprogramming #type system

An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.

GPCE-2002-BrichauMV #composition #logic #metaprogramming

Building Composable Aspect-Specific Languages with Logic Metaprogramming (JB, KM, KDV), pp. 110–127.

GCSE-2001-AttardiC #metaprogramming

Reflection Support by Means of Template Metaprogramming (GA, AC), pp. 118–127.

GCSE-2000-LudwigH #in the large #metaprogramming

Metaprogramming in the Large (AL, DH), pp. 178–187.

SEKE-1995-Ait-AmeurBGPP #metaprogramming #specification

Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.

ICLP-1993-LeviR #formal method #metaprogramming

A Formalization of Metaprogramming for real (GL, DR), pp. 354–373.

LICS-1989-Pfenning #logic #metaprogramming #named

Elf: A Language for Logic Definition and Verified Metaprogramming (FP), pp. 313–322.

JICSCP-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.