Search results for "metaprogramming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
188	Ronald Garcia, Andrew Lumsdaine	Toward foundations for type-reflective metaprogramming.	GPCE	2009	DBLP DOI BibTeX RDF	semantics, c++, reflection, metaprogramming
94	Diomidis Spinellis	Rational Metaprogramming.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
85	Todd L. Veldhuizen	Tradeoffs in metaprogramming.	PEPM	2006	DBLP DOI BibTeX RDF	program generators, metaprogramming, metalanguages
80	Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel	10191 Executive Summary - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond.	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond	2010	DBLP BibTeX RDF
80	Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel	10191 Abstracts Collection - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond.	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond	2010	DBLP BibTeX RDF
80	Tristan Cazenave	Metaprogramming Domain Specific Metaprograms.	Reflection	1999	DBLP DOI BibTeX RDF
80	James R. Cordy, Medha Shukla	Practical metaprogramming.	CASCON	1992	DBLP BibTeX RDF
79	Shan Shan Huang, David Zook, Yannis Smaragdakis	Domain-specific languages and program generation with meta-AspectJ.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	program transformation, program verification, domain-specific languages, program synthesis, language extensions, Metaprogramming
75	Salvador Trujillo, Maider Azanza, Oscar Díaz	Generative metaprogramming.	GPCE	2007	DBLP DOI BibTeX RDF	feature oriented model-driven development, generative metaprogramming, software product lines, generative programming, metaprogramming
70	Adam Chlipala	Ur: statically-typed metaprogramming with type-level record computation.	PLDI	2010	DBLP DOI BibTeX RDF	dependent types, metaprogramming
65	Ritu Arora, Yu Sun 0002, Zekai Demirezen, Jeff Gray 0001	Profiler instrumentation using metaprogramming techniques.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF
65	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Metaprogramming Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
59	Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel (eds.)	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond	2010	DBLP BibTeX RDF
59	Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel	Program Composition and Optimization: An Introduction.	Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond	2010	DBLP BibTeX RDF
55	Hyun Cho	Using metaprogramming to implement a testing framework.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	transformation, metaprogramming, testing framework
55	Najaf Ali Shah, Anthony Skjellum	A metaprogramming approach to generating optimized code for algorithms in linear algebra.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	optimization, code generator, linear algebra, PHP, metaprogramming
50	Bill Donkervoet, Gul Agha	Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring.	FMCO	2006	DBLP DOI BibTeX RDF
49	Zoltán Porkoláb, József Mihalicza, Ádám Sipos	Debugging C++ template metaprograms.	GPCE	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, debugging
49	Gilad Bracha, David M. Ungar	Mirrors: design principles for meta-level facilities of object-oriented programming languages.	OOPSLA	2004	DBLP DOI BibTeX RDF	java, reflection, smalltalk, metaprogramming, mirrors, self
49	Michael Leuschel	Homeomorphic Embedding for Online Termination of Symbolic Methods.	The Essence of Computation	2002	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders
49	Paul Tarau, Verónica Dahl, Koenraad De Bosschere	A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.	WETICE	1997	DBLP DOI BibTeX RDF	BinProlog, intuitionistic implication, strong metaprogramming, high-order call/N, filtering interactors, security, agents, logic programming, logic programming, mobile code, remote execution
35	Stefano Benedettini, Andrea Roli, Luca Di Gaspero	EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms.	SLS	2009	DBLP DOI BibTeX RDF
35	John H. Reppy, Aaron Turon	Metaprogramming with Traits.	ECOOP	2007	DBLP DOI BibTeX RDF
35	Zoltán Porkoláb, István Zólyomi	A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming.	GTTSE	2005	DBLP DOI BibTeX RDF
35	Jernej Kovse, Christian Weber 0002, Theo Härder	Metaprogramming for Relational Databases.	ER	2004	DBLP DOI BibTeX RDF
35	István Zólyomi, Zoltán Porkoláb, Tamás Kozsik	An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming.	GPCE	2003	DBLP DOI BibTeX RDF
35	Gergely Kis, József Orosz, Márton Pintér, Zoltán László, Thomas Genssler	Metaprogramming Library for the C# Programming Language.	JMLC	2003	DBLP DOI BibTeX RDF
35	Jason Baker, Wilson C. Hsieh	Runtime aspect weaving through metaprogramming.	AOSD	2002	DBLP DOI BibTeX RDF	Java
35	Giuseppe Attardi, Antonio Cisternino	Template Metaprogramming an Object Interface to Relational Tables.	Reflection	2001	DBLP DOI BibTeX RDF
35	Andreas Ludwig, Dirk Heuzeroth	Metaprogramming in the Large.	GCSE	2000	DBLP DOI BibTeX RDF
35	Paul Tarau, Arun K. Majumdar	Interoperating Logic Engines.	PADL	2009	DBLP DOI BibTeX RDF	Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs
35	H. Conrad Cunningham	A little language for surveys: constructing an internal DSL in Ruby.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	reflexive metaprogramming, domain specific language, Ruby
35	Paul Tarau	Logic Engines as Interactors.	ICLP	2008	DBLP DOI BibTeX RDF	generalized iterators, logic engines, agent oriented programming language constructs, metaprogramming
35	Tiago Stein D'Agostini, Antônio Augusto Fröhlich	Bridging AOP to SMP: turning GCC into a metalanguage preprocessor.	SAC	2005	DBLP DOI BibTeX RDF	aspects, metaprogramming
35	Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy	CodeBricks: code fragments as building blocks.	PEPM	2003	DBLP DOI BibTeX RDF	multistage programming, program transformation, reflection, domain specific language, generative programming, program generation, metaprogramming
35	Robertas Damasevicius, Giedrius Majauskas, Vytautas Stuikys	Application of design patterns for hardware design.	DAC	2003	DBLP DOI BibTeX RDF	system-level design processes, UML, design patterns, metaprogramming, wrapping
35	Kim Mens, Tom Mens, Michel Wermelinger	Maintaining software through intentional source-code views.	SEKE	2002	DBLP DOI BibTeX RDF	logic metaprogramming, modularisation, software maintenance and evolution, crosscutting concerns, validation and verification
35	Paul Tarau, Verónica Dahl	Towards a Logic Programming Infrastructure for Internet Programming.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF	Logic Programming and Internet technologies, first order continuations, Linda coordination, blackboard based logic programming, mobile computations, mobile code, metaprogramming, remote execution, controlled natural language, intelligent mobile agents
35	Omer F. Rana, Maozhen Li 0001, David W. Walker, Matthew S. Shields	An XML Based Component Model for Generating Scientific Applications and Performing Large Scale Simulations in a Meta-computing Environment.	GCSE	1999	DBLP DOI BibTeX RDF	Component Interface/Re-use, Metaprogramming Systems, Parallel Computing, Component-Based Development, Application Generators
35	Yoheved Dotan, Benjamin Arazi	Using Flat Concurrent Prolog in System Modeling.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	flat concurrent Prolog, AND components, FCP, Petri net methods, reduction process, free competition, conflictingenabled transitions, metaprogramming technique, parallel programming, Petri nets, Petri nets, parallelism, synchronization, logic programming, virtual machines, PROLOG, parallel systems, system modeling, data flow, structural analysis, structured programming, shared variables, guarded commands, indeterminacy
29	Charlotte Herzeel, Pascal Costanza, Theo D'Hondt	Reflection for the Masses.	S3	2008	DBLP DOI BibTeX RDF
29	Don S. Batory	Program Refactoring, Program Synthesis, and Model-Driven Development.	CC	2007	DBLP DOI BibTeX RDF
29	Robert Glück, John Hatcliff, Jesper Jørgensen	Generalization in Hierarchies of Online Program Specialization Systems.	LOPSTR	1998	DBLP DOI BibTeX RDF
29	Thom W. Frühwirth	Type inference by program transformation and partial evaluation.	ICCL	1988	DBLP DOI BibTeX RDF
21	Oleg Kiselyov	Generating C: Heterogeneous metaprogramming system description.	Sci. Comput. Program.	2024	DBLP DOI BibTeX RDF
21	Flavio De Vincenti, Stelian Coros	Ungar - A C++ Framework for Real-Time Optimal Control Using Template Metaprogramming.	CoRR	2023	DBLP DOI BibTeX RDF
21	Flavio De Vincenti, Stelian Coros	Ungar - A C++ Framework for Real-Time Optimal Control Using Template Metaprogramming.	IROS	2023	DBLP DOI BibTeX RDF
21	Michael Ball 0001, Dan Garcia 0001, Yuan Garcia	Snap! 8 - Smart Script Pics and Metaprogramming for All!	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
21	David Shilane	A Metaprogramming Algorithm to Simplify the Coding Syntax of Data Analysis Methods.	UEMCON	2023	DBLP DOI BibTeX RDF
21	Athanasios Xynos, Vasileios Tenentes	MetaSPICE: Metaprogramming SPICE Framework for the Design Space Exploration of PUF Circuits.	MOCAST	2023	DBLP DOI BibTeX RDF
21	Junyoung Jang 0001, Samuel Gélineau, Stefan Monnier, Brigitte Pientka	Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
21	Krzysztof Kaczmarski, Jakub Narebski, Stanislaw Piotrowski, Piotr Przymus	Fast JSON parser using metaprogramming on GPU.	DSAA	2022	DBLP DOI BibTeX RDF
21	Hiroyuki Takizawa, Shinji Shiotsuki, Naoki Ebata, Ryusuke Egawa	OpenCL-like offloading with metaprogramming for SX-Aurora TSUBASA.	Parallel Comput.	2021	DBLP DOI BibTeX RDF
21	Jeffrey Kelling, Sergei I. Bastrakov, Alexander Debus, Thomas Kluge, Matt Leinhauser, Richard Pausch, Klaus Steiniger, Jan Stephan, René Widera, Jeff Young 0001, Michael Bussmann, Sunita Chandrasekaran, Guido Juckeland	Challenges Porting a C++ Template-Metaprogramming Abstraction Layer to Directive-based Offloading.	CoRR	2021	DBLP BibTeX RDF
21	Junyoung Jang 0001, Samuel Gélineau, Stefan Monnier, Brigitte Pientka	Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version).	CoRR	2021	DBLP BibTeX RDF
21	Denis Demidov, Lin Mu, Bin Wang	Accelerating linear solvers for Stokes problems with C++ metaprogramming.	J. Comput. Sci.	2021	DBLP DOI BibTeX RDF
21	Grzegorz Rybak, Krzysztof Strzecha	Short-Time Fourier Transform Based on Metaprogramming and the Stockham Optimization Method.	Sensors	2021	DBLP DOI BibTeX RDF
21	Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky	Virtual ADTs for portable metaprogramming.	MPLR	2021	DBLP DOI BibTeX RDF
21	Mahshid Shahmohammadian, Geoffrey Mainland	Metaprogramming with combinators.	GPCE	2021	DBLP DOI BibTeX RDF
21	Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang 0046, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni 0001	HACCLE: metaprogramming for secure multi-party computation.	GPCE	2021	DBLP DOI BibTeX RDF
21	Riemer van Rozen, Youri Reijne, Clement Julia, Georgia Samaritaki	First-Person Realtime Collaborative Metaprogramming Adventures.	AIIDE Workshops	2021	DBLP BibTeX RDF
21	Jeffrey Kelling, Sergey I. Bastrakov, Alexander Debus, Thomas Kluge, Matt Leinhauser, Richard Pausch, Klaus Steiniger, Jan Stephan, René Widera, Jeff Young 0001, Michael Bussmann, Sunita Chandrasekaran, Guido Juckeland	Challenges Porting a C++ Template-Metaprogramming Abstraction Layer to Directive-Based Offloading.	WACCPD@SC	2021	DBLP DOI BibTeX RDF
21	James Koppel	Meta-metaprogramming.		2021	RDF
21	Alexis Pereda	Application de la métaprogrammation template à la conception de bibliothèques actives de parallélisation assistée. (Using template metaprogramming to design active libraries for assisted parallelisation).		2021	RDF
21	Alexandre Bardakoff	Analysis and Execution of a Data-Flow Graph Explicit Model Using Static Metaprogramming. (Analyse et exécution d'un modèle explicite de graphe de flux de données par métaprogrammation statique).		2021	RDF
21	Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan	fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components.	CoRR	2020	DBLP BibTeX RDF
21	Denis Demidov, Lin Mu, Bin Wang	Accelerating linear solvers for large-scale Stokes problems with C++ metaprogramming.	CoRR	2020	DBLP BibTeX RDF
21	Yannis Lilis, Anthony Savidis	A Survey of Metaprogramming Languages.	ACM Comput. Surv.	2020	DBLP DOI BibTeX RDF
21	Fellipe A. Ugliara, Gustavo M. D. Vieira, José de Oliveira Guimarães	Transparent replication using metaprogramming in Cyan.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
21	Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan	fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.	CAV (1)	2020	DBLP DOI BibTeX RDF
21	Rodin T. A. Aarssen, Tijs van der Storm	High-fidelity metaprogramming with separator syntax trees.	PEPM@POPL	2020	DBLP DOI BibTeX RDF
21	Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, Martin Odersky	Semantics-preserving inlining for metaprogramming.	SCALA@SPLASH	2020	DBLP DOI BibTeX RDF
21	Brigitte Pientka	A Modal Analysis of Metaprogramming, Revisited (Invited Talk).	FSCD	2020	DBLP DOI BibTeX RDF
21	Shadaj Laddad, Koushik Sen	Fluid quotes: metaprogramming across abstraction boundaries with dependent types.	GPCE	2020	DBLP DOI BibTeX RDF
21	Lionel Parreaux	Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages.		2020	DOI RDF
21	Yannis Lilis, Anthony Savidis	Meta C++: an extension layer for multi-stage generative metaprogramming.	J. Object Technol.	2019	DBLP DOI BibTeX RDF
21	Martin Lester 0001	Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic.	CoRR	2019	DBLP BibTeX RDF
21	Shivam Handa, Vikash Mansinghka 0001, Martin C. Rinard	Compositional Inference Metaprogramming with Convergence Guarantees.	CoRR	2019	DBLP BibTeX RDF
21	Matthew Amy	Sized Types for low-level Quantum Metaprogramming.	CoRR	2019	DBLP BibTeX RDF
21	Ignacio Lagartos, Jose Manuel Redondo, Francisco Ortin	Efficient runtime metaprogramming services for Java.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
21	Kerry A. Seitz Jr., Theresa Foley, Serban D. Porumbescu, John D. Owens	Staged metaprogramming for shader system development.	ACM Trans. Graph.	2019	DBLP DOI BibTeX RDF
21	Matthew Amy	Sized Types for Low-Level Quantum Metaprogramming.	RC	2019	DBLP DOI BibTeX RDF
21	Toni Mattis, Patrick Rein, Robert Hirschfeld	Ambiguous, informal, and unsound: metaprogramming for naturalness.	META@SPLASH	2019	DBLP DOI BibTeX RDF
21	Nataliya Osipova, Oleksandr Kyriukhin	Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6.	ICTERI	2019	DBLP BibTeX RDF
21	Alexis Pereda, David R. C. Hill, Claude Mazel, Bruno Bachelet	Modeling Algorithmic Skeletons for Automatic Parallelization Using Template Metaprogramming.	HPCS	2019	DBLP DOI BibTeX RDF
21	Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda	Implementation of LMNtal Model Checkers: a Metaprogramming Approach.	J. Object Technol.	2018	DBLP DOI BibTeX RDF
21	Brice Videau, Kevin Pouget, Luigi Genovese, Thierry Deutsch, Dimitri Komatitsch, Frédéric Desprez, Jean-François Méhaut	BOAST: A metaprogramming framework to produce portable and efficient computing kernels for HPC applications	Int. J. High Perform. Comput. Appl.	2018	DBLP DOI BibTeX RDF
21	Piotr Maciol, Kazimierz Michalik	Application of Metaprogramming and Generic Programming in Multiscale Modeling.	Comput. Sci. Eng.	2018	DBLP DOI BibTeX RDF
21	Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus	Dynamic Patch Generation for Null Pointer Exceptions using Metaprogramming.	CoRR	2018	DBLP BibTeX RDF
21	Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy	Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.	CoRR	2018	DBLP BibTeX RDF
21	Michael P. Papazoglou	Metaprogramming Environment for Industry 4.0.	ES	2018	DBLP DOI BibTeX RDF
21	Philipp S. Käsgen, Markus Weinhardt	Using Template Metaprogramming for Hardware Description.	MBMV	2018	DBLP BibTeX RDF
21	Paventhan Vivekanandan	Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming.	WFLP	2018	DBLP DOI BibTeX RDF
21	David Pfander, Malte Brunn, Dirk Pflüger	AutoTuneTMP: Auto-Tuning in C++ With Runtime Template Metaprogramming.	IPDPS Workshops	2018	DBLP DOI BibTeX RDF
21	Hitoshi Murai, Mitsuhisa Sato, Masahiro Nakao, Jinpil Lee	Metaprogramming Framework for Existing HPC Languages Based on the Omni Compiler Infrastructure.	CANDAR Workshops	2018	DBLP DOI BibTeX RDF
21	Alexis Pereda, David R. C. Hill, Claude Mazel, Bruno Bachelet	Static Loop Parallelization Decision Using Template Metaprogramming.	HPCS	2018	DBLP DOI BibTeX RDF
21	Pedro Henrique Teixeira Costa, Edna Dias Canedo, Rodrigo Bonifácio	On the Use of Metaprogramming and Domain Specific Languages: An Experience Report in the Logistics Domain.	SBCARS	2018	DBLP DOI BibTeX RDF
21	Gabriel Ebner, Sebastian Ullrich 0002, Jared Roesch, Jeremy Avigad, Leonardo de Moura 0001	A metaprogramming framework for formal verification.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
21	Mikhail M. Krasnov, Marina E. Ladonkina	Discontinuous Galerkin method on three-dimensional tetrahedral grids. The use of template metaprogramming of the C++ language.	Program. Comput. Softw.	2017	DBLP DOI BibTeX RDF
21	Fellipe A. Ugliara, Gustavo M. D. Vieira, José de Oliveira Guimarães	Transparent Replication Using Metaprogramming in Cyan.	CoRR	2017	DBLP BibTeX RDF