researchr - search publication metaprogramming

researchr

You are not signed in
Sign in
Sign up

190 publication results matching 'metaprogramming'

Modular logic metaprogramming
… In logic metaprogramming, programs are not stored as plain textfiles but rather … for metaprogramming are obvious, its incompatibility with separate checking limits its … separate checking and propose a class of logics that reconcile logic metaprogramming …
Karl Klose, Klaus Ostermann. OOPSLA 2010: 484-503 [doi]
Generative metaprogrammingSalvador Trujillo, Maider Azanza, Oscar Díaz. GPCE 2007: 105-114 [doi]
Grammar-Based Definition of Metaprogramming Systems
… A metaprogramming system is a programming facility (subprogramming system or language) whose basic data objects include the programs and program fragments … to the specification of the syntactic-manipulation component of a metaprogramming …
Robert D. Cameron, Mabo Robert Ito. TOPLAS, 6(1):20-54, 1984. [doi]
Tradeoffs in metaprogrammingTodd L. Veldhuizen. PEPM 2006: 150-159 [doi]
Tradeoffs in MetaprogrammingTodd L. Veldhuizen. corr, abs/cs/0512065, 2005. [doi]
Metaprogramming with TraitsJohn H. Reppy, Aaron Turon. ECOOP 2007: 373-398 [doi]
Metaprogramming and C++Martin D. Carroll. jpl, 4(1):1-20, 1996. [doi]
Practical metaprogrammingJames R. Cordy, Medha Shukla. cascon 1992: 215-224 [doi]
Metaprogramming in the LargeAndreas Ludwig, Dirk Heuzeroth. gcse 2001: 178-187 [doi]
Reflections on MetaprogrammingArthur H. Lee, Joseph L. Zachary. TSE, 21(11):883-893, 1995. [doi]
Functional metaprogrammingGareth Moffat Powell. PhD thesis, University of Bristol, UK, 1993. [doi]
Metaprogramming with combinatorsMahshid Shahmohammadian, Geoffrey Mainland. GPCE 2021: 43-54 [doi]
Meta-metaprogrammingJames Koppel. PhD thesis, Massachusetts Institute of Technology, USA, 2021. [doi]
Rational MetaprogrammingDiomidis Spinellis. IEEE Software, 25(1):78-79, 2008. [doi]
Metaprogramming ApplicationsManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott. maude 2007: 459-483 [doi]
Second Order MetaprogrammingDavid Dodds. icai 2006: 607-613
Making Patterns Explicit with MetaprogrammingDaniel von Dincklage. GPCE 2003: 287-306 [doi]
Alternative Reasoning in a Metaprogramming SystemHenning Christiansen. deductive 1995: 175-186
A Formalization of Metaprogramming for realGiorgio Levi, Davide Ramundo. ICLP 1993: 354-373
Metaprogramming for Relational DatabasesJernej Kovse, Christian Weber 0002, Theo Härder. er 2004: 654-667 [doi]

Sign in or sign up to see more results.

runs on WebDSL