Search results for "metaprogramming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
3	Adam Chlipala	Ur: statically-typed metaprogramming with type-level record computation.	PLDI	2010	DBLP DOI BibTeX RDF	dependent types, metaprogramming
3	Hyun Cho	Using metaprogramming to implement a testing framework.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	transformation, metaprogramming, testing framework
3	Ronald Garcia, Andrew Lumsdaine	Toward foundations for type-reflective metaprogramming.	GPCE	2009	DBLP DOI BibTeX RDF	semantics, c++, reflection, metaprogramming
3	Todd L. Veldhuizen	Tradeoffs in metaprogramming.	PEPM	2006	DBLP DOI BibTeX RDF	program generators, metaprogramming, metalanguages
3	Najaf A. Shah, Anthony Skjellum	A metaprogramming approach to generating optimized code for algorithms in linear algebra.	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	optimization, code generator, linear algebra, PHP, metaprogramming
2	Stefano Benedettini, Andrea Roli, Luca Di Gaspero	EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms.	SLS	2009	DBLP DOI BibTeX RDF
2	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
2	Diomidis Spinellis	Rational Metaprogramming.	IEEE Software	2008	DBLP DOI BibTeX RDF
2	Ritu Arora, Yu Sun, Zekai Demirezen, Jeff Gray	Profiler instrumentation using metaprogramming techniques.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF
2	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
2	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
2	Paul Tarau	Logic Engines as Interactors.	ICLP	2008	DBLP DOI BibTeX RDF	generalized iterators, logic engines, agent oriented programming language constructs, metaprogramming
2	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Metaprogramming Applications.	All About Maude	2007	DBLP DOI BibTeX RDF
2	John H. Reppy, Aaron Turon	Metaprogramming with Traits.	ECOOP	2007	DBLP DOI BibTeX RDF
2	Bill Donkervoet, Gul Agha	Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring.	FMCO	2006	DBLP DOI BibTeX RDF
2	Zoltán Porkoláb, József Mihalicza, Ádám Sipos	Debugging C++ template metaprograms.	GPCE	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, debugging
2	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
2	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
2	Jernej Kovse, Christian Weber 0002, Theo Härder	Metaprogramming for Relational Databases.	ER	2004	DBLP DOI BibTeX RDF
2	Gilad Bracha, David 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
2	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
2	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
2	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
2	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
2	Jason Baker, Wilson C. Hsieh	Runtime aspect weaving through metaprogramming.	AOSD	2002	DBLP DOI BibTeX RDF	Java
2	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
2	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
2	Giuseppe Attardi, Antonio Cisternino	Template Metaprogramming an Object Interface to Relational Tables.	Reflection	2001	DBLP DOI BibTeX RDF
2	Andreas Ludwig, Dirk Heuzeroth	Metaprogramming in the Large.	GCSE	2000	DBLP DOI BibTeX RDF
2	Tristan Cazenave	Metaprogramming Domain Specific Metaprograms.	Reflection	1999	DBLP DOI BibTeX RDF
2	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
2	Omer F. Rana, Maozhen Li, 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
2	Paul Tarau, Verónica Dahl, Koenraad De Bosschere	A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. (PDF / PS)	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
2	James R. Cordy, Medha Shukla	Practical metaprogramming.	CASCON	1992	DBLP DOI BibTeX RDF
2	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
1	Murdoch Gabbay, Aleksandar Nanevski	Denotation of syntax and metaprogramming in contextual modal type theory (CMTT)	CoRR	2012	DBLP BibTeX RDF
1	James H. Hill, Aniruddha S. Gokhale	Using Template Metaprogramming to Enhance Reuse in Visitor-Based Model Interpreters.	ECBS	2012	DBLP DOI BibTeX RDF
1	Mario Mulansky, Karsten Ahnert	Metaprogramming Applied to Numerical Problems	CoRR	2011	DBLP BibTeX RDF
1	Zachary Palmer, Scott F. Smith	Backstage Java: making a difference in metaprogramming.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Kang Kang, Y. S. Deng	Scalable packet classification via GPU metaprogramming.	DATE	2011	DBLP DOI BibTeX RDF
1	Claus Zinn	Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming.	WFLP	2011	DBLP DOI BibTeX RDF
1	Dragan Djuric, Vladan Devedzic	Magic Potion: Incorporating New Development Paradigms through Metaprogramming.	IEEE Software	2010	DBLP DOI BibTeX RDF
1	Karl Rupp	Increased efficiency in finite element computations through template metaprogramming.	SpringSim	2010	DBLP DOI BibTeX RDF
1	Sebastian Günther, Sagar Sunkle	Dynamically adaptable software product lines using Ruby metaprogramming.	FOSD	2010	DBLP DOI BibTeX RDF
1	Luc Touraille, Mamadou K. Traoré, David R. C. Hill	Enhancing DEVS simulation through template metaprogramming: DEVS-MetaSimulator.	SummerSim	2010	DBLP BibTeX RDF
1	Karl Klose, Klaus Ostermann	Modular logic metaprogramming.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Reimund Klemm, Gerhard Fettweis	Bitstream processing for embedded systems using C++ metaprogramming.	DATE	2010	DBLP BibTeX RDF
1	Emanuele Covino, Giovanni Pani	Template Metaprogramming, Partial Evaluation and Computational Complexity Classes.	FCS	2010	DBLP BibTeX RDF
1	Johannes Rudolph, Peter Thiemann	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
1	Jeremy G. Siek	General purpose languages should be metalanguages.	PEPM	2010	DBLP DOI BibTeX RDF	domain-specific embedded languages, reflection, metaprogramming, multi-stage programming
1	Éric Tanter	Execution levels for aspect-oriented programming.	AOSD	2010	DBLP DOI BibTeX RDF	execution level, infinite regression, scoping mechanism, aspect-oriented programming, meta-programming, conflation
1	Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, Michael Schulze	An analysis of the variability in forty preprocessor-based software product lines.	ICSE	2010	DBLP DOI BibTeX RDF	C preprocessor, empirical study, software product lines
1	Saso Greiner, Janez Brest, Viljem Zumer	Zero - a blend of static typing and dynamic metaprogramming.	Computer Languages, Systems & Structures	2009	DBLP DOI BibTeX RDF
1	Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly	Towards Metaprogramming for Parallel Systems on a Chip.	Euro-Par Workshops	2009	DBLP DOI BibTeX RDF
1	Robertas Damasevicius, Vytautas Stuikys	Specification and Generation of Learning Object Sequences for E-learning Using Sequence Feature Diagrams and Metaprogramming Techniques.	ICALT	2009	DBLP DOI BibTeX RDF
1	Matthew Flatt, Eli Barzilay, Robert Bruce Findler	Scribble: closing the book on ad hoc documentation tools.	ICFP	2009	DBLP DOI BibTeX RDF	domain-specific languages, macros, metaprogramming
1	Tillmann Rendel, Klaus Ostermann, Christian Hofer	Typed self-representation.	PLDI	2009	DBLP DOI BibTeX RDF	self interpretation, reflection, types, lambda calculus, language design
1	Ralf Lämmel	Scrap your boilerplate: prologically!	PPDP	2009	DBLP DOI BibTeX RDF	scrap your boilerplate, prolog, haskell, stratego
1	Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey	Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution.	ICSP	2009	DBLP DOI BibTeX RDF	process modeling and execution, UML, Executable models
1	Dominic Mainz	Deep integration of the OWL ontology language into Ruby using metaprogramming.		2008	RDF
1	Éric Tanter, Rodolfo Toledo, Guillaume Pothier, Jacques Noyé	Flexible metaprogramming and AOP in Java.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
1	Lennart Augustsson, Howard Mansell, Ganesh Sittampalam	Paradise: a two-stage DSL embedded in Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	dsels, paradise, Haskell, metaprogramming
1	Giovani Gracioli, Antônio Augusto Fröhlich	An Operating System Infrastructure for Remote Code Update in Deeply Embedded Systems.	HotSWUp	2008	DBLP DOI BibTeX RDF	remote update, embedded systems, operating systems
1	Nik Sultana, Simon J. Thompson	Mechanical verification of refactorings.	PEPM	2008	DBLP DOI BibTeX RDF	refactoring, Isabelle/HOL
1	Juan Carlos Ruiz, David de Andrés, Sara Blanc, Pedro J. Gil	Generic Design and Automatic Deployment of NMR Strategies on HW Cores.	PRDC	2008	DBLP DOI BibTeX RDF
1	Robertas Damasevicius, Vytautas Stuikys	On the Technological Aspects of Generative Learning Object Development.	ISSEP	2008	DBLP DOI BibTeX RDF
1	Charlotte Herzeel, Pascal Costanza, Theo D'Hondt	Reflection for the Masses.	S3	2008	DBLP DOI BibTeX RDF
1	Matti Rintala	Exceptions in remote procedure calls using C++ template metaprogramming.	Softw., Pract. Exper.	2007	DBLP DOI BibTeX RDF
1	Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Éric Tanter	Mirages: behavioral intercession in a mirror-based architecture.	DLS	2007	DBLP DOI BibTeX RDF	AmbientTalk, mirages, reflection, metaprogramming, mirrors
1	Ville T. Oikarinen	Extracting a domain specific language from an example: a bottom-up method using the ngrease metalanguage.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code generation, refactoring, method, DSL, metaprogramming
1	Douglas Gregor, Jaakko Järvi	Variadic templates for C++.	SAC	2007	DBLP DOI BibTeX RDF	template metaprogramming, variadic arguments, parametric polymorphism, C++ templates
1	Mads Torgersen	Querying in C#: how language integrated query (LINQ) works.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	language-integrated query, query comprehensions, query syntax, strongly typed querying, query language, impedance mismatch
1	Don S. Batory	Program Refactoring, Program Synthesis, and Model-Driven Development.	CC	2007	DBLP DOI BibTeX RDF
1	Zoltán Juhász, Ádám Sipos, Zoltán Porkoláb	Implementation of a Finite State Machine with Active Libraries in C++.	GTTSE	2007	DBLP DOI BibTeX RDF
1	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott	Full Maude: Extending Core Maude.	All About Maude	2007	DBLP DOI BibTeX RDF
1	Don S. Batory	Multilevel models in model-driven engineering, product lines, and metaprogramming.	IBM Systems Journal	2006	DBLP DOI BibTeX RDF
1	David Dodds	Second Order Metaprogramming.	IC-AI	2006	DBLP BibTeX RDF
1	Krzysztof Czarnecki, Krzysztof Pietroszek	Verifying feature-based model templates against well-formedness OCL constraints.	GPCE	2006	DBLP DOI BibTeX RDF	model templates, UML, formal verification, model-driven development, software-product lines, configuration, OCL, feature modeling, feature interaction, metaprogramming
1	Danil Shopyrin	Multimethods in C++ using recursive deferred dispatching.	IEEE Software	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, polymorphism, multimethods, multiple dispatch, reusable libraries
1	Markus Blatt, Peter Bastian	The Iterative Solver Template Library.	PARA	2006	DBLP DOI BibTeX RDF
1	Todd L. Veldhuizen	Tradeoffs in Metaprogramming	CoRR	2005	DBLP BibTeX RDF
1	William R. Cook, Siddhartha Rai	Safe query objects: statically typed objects as remotely executable queries.	ICSE	2005	DBLP DOI BibTeX RDF	JDO, persistence, type safety
1	Zhen Yao, Qilong Zheng, Guoliang Chen	AOP++: A Generic Aspect-Oriented Programming Framework in C++.	GPCE	2005	DBLP DOI BibTeX RDF
1	Kurt Stirewalt, Spencer Rugaber	Automated Invariant Maintenance Via OCL Compilation.	MoDELS	2005	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit	Reformulation of Global Constraints Based on Constraints Checkers.	Constraints	2005	DBLP DOI BibTeX RDF	automata, global constraints, reformulation
1	Vytautas Stuikys, Robertas Damasevicius	Soft IP Customisation Model Based on Metaprogramming Techniques.	Informatica, Lith. Acad. Sci.	2004	DBLP BibTeX RDF
1	Ademir Alvarenga de Oliveira, Thiago Henrique Braga, Marcelo de Almeida Maia, Roberto da Silva Bigonha	MetaJ: An Extensible Environment for Metaprogramming in Java.	J. UCS	2004	DBLP BibTeX RDF
1	Michael D. McCool, Stefanus Du Toit	Metaprogramming GPUs with Sh.		2004	RDF
1	Robertas Damasevicius, Vytautas Stuikys	Application of UML for hardware design based on design process model.	ASP-DAC	2004	DBLP DOI BibTeX RDF
1	Michael D. McCool, Stefanus Du Toit, Tiberiu Popa, Bryan Chan, Kevin Moule	Shader algebra.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	shader programming, graphics hardware, real-time rendering
1	Steven P. Reiss, Guy Eddon	Automated Support for Recovery.	ICAC	2004	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Mats Carlsson, Thierry Petit	Deriving Filtering Algorithms from Constraint Checkers.	CP	2004	DBLP DOI BibTeX RDF
1	Daniel Lohmann, Georg Blaschke, Olaf Spinczyk	Generic Advice: On the Combination of AOP with Generative Programming in AspectC++.	GPCE	2004	DBLP DOI BibTeX RDF
1	Joel Falcou, Jocelyn Sérot	EVE, an Object Oriented SIMD Library.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
1	Robertas Damasevicius, Vytautas Stuikys	Wrapping of Soft IPs for Interface-based Design Using Heterogeneous Metaprogramming.	Informatica, Lith. Acad. Sci.	2003	DBLP BibTeX RDF
1	Daniel von Dincklage	Making Patterns Explicit with Metaprogramming.	GPCE	2003	DBLP DOI BibTeX RDF
1	Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay	FreshML: programming with binders made simple.	ICFP	2003	DBLP DOI BibTeX RDF	alpha-conversion, metaprogramming, variable binding
1	Kim Mens, Bernard Poll, Sebastián González	Using Intentional Source-Code Views to Aid Software Maintenance.	ICSM	2003	DBLP DOI BibTeX RDF	intentional source-code views, logic metaprogramming, Software maintenance, tool support
1	Weishan Zhang, Stan Jarzabek, Neil Loughran, Awais Rashid	Reengineering a PC-Based System into the Mobile Device Product Line.	IWPSE	2003	DBLP DOI BibTeX RDF