Search results for "meta-programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese	MetaKlaim: Meta-programming for Global Computing.	SAIG	2001	DBLP DOI BibTeX RDF
20	Simon Holland	Reflective composition: the declarative composition of roles to unify objects, roles, and aspects.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	logic meta programming, composition, generative programming, roles, aspects, role models
20	Achuth Sankar S. Nair, Vinod S. S. Chandra	A MetaL for C and Pascal.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	data structure, C, Pascal, lex, yacc
20	Alex Villazón	A Reflective Active Network Node.	IWAN	2000	DBLP DOI BibTeX RDF
19	Luc De Raedt	An Inductive Logic Programming Query Language for Database Mining.	AISC	1998	DBLP DOI BibTeX RDF	database mining query language, inductive query language, data mining, inductive logic programming, relational learning
18	Christophe Scholliers, Guido Chari (eds.)	Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2019, Athens, Greece, October 20, 2019	META@SPLASH	2019	DBLP DOI BibTeX RDF
18	Jonathan Van der Cruysse, Lode Hoste, Wolfgang van Raemdonck	FlashFreeze: low-overhead JavaScript instrumentation for function serialization.	META@SPLASH	2019	DBLP DOI BibTeX RDF
18	Toni Mattis, Patrick Rein, Robert Hirschfeld	Ambiguous, informal, and unsound: metaprogramming for naturalness.	META@SPLASH	2019	DBLP DOI BibTeX RDF
18	Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser	From definitional interpreter to symbolic executor.	META@SPLASH	2019	DBLP DOI BibTeX RDF
18	Kevin De Porre, Elisa Gonzalez Boix	Squirrel: an extensible distributed key-value store.	META@SPLASH	2019	DBLP DOI BibTeX RDF
18	Shigeru Chiba, Elisa Gonzalez Boix, Stefan Marr (eds.)	Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2017, Vancouver, BC, Canada, October 23 - 27, 2017	META@SPLASH	2017	DBLP DOI BibTeX RDF
18	Phyllipe Lima, Eduardo Guerra 0001, Marco Nardes, Andrea Mocci, Gabriele Bavota, Michele Lanza	An annotation-based API for supporting runtime code annotation reading.	META@SPLASH	2017	DBLP DOI BibTeX RDF
18	Sven Keidel, Sebastian Erdweg	Toward abstract interpretation of program transformations.	META@SPLASH	2017	DBLP DOI BibTeX RDF
18	Vytautas Stuikys, Robertas Damasevicius	Meta-Programming and Model-Driven Meta-Program Development - Principles, Processes and Techniques.		2013	DOI RDF
18	Alberto Pettorossi (eds.)	Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings	META	1992	DBLP DOI BibTeX RDF
18	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Meta for Modularising Logic Programming.	META	1992	DBLP DOI BibTeX RDF
18	Jan Grabowski	Metaprograms for Change Assumptions, Objects, and Inheritance.	META	1992	DBLP DOI BibTeX RDF
18	Andreas Hamfelt, Åke Hansson	Representation of Fragmentary Multilayered Knowledge.	META	1992	DBLP DOI BibTeX RDF
18	Peter Gärdenfors	Belief Revision: A Vade-Mecum.	META	1992	DBLP DOI BibTeX RDF
18	Frank van Harmelen	Definable Naming Relations in Meta-level Systems.	META	1992	DBLP DOI BibTeX RDF
18	Piero A. Bonatti	Model Theoretic Semantics for Demo.	META	1992	DBLP DOI BibTeX RDF
18	Frédéric Mesnard, Jean-Gabriel Ganascia	CLP(Q) for Proving Interargument Relations.	META	1992	DBLP DOI BibTeX RDF
18	Geraint A. Wiggins	Negation and Control on Automatically Generated Logic Programs.	META	1992	DBLP DOI BibTeX RDF
18	Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson	Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics.	META	1992	DBLP DOI BibTeX RDF
18	Reem Bahgat	The Pandora Deadlock Handler Meta-Level Relation.	META	1992	DBLP DOI BibTeX RDF
18	Saumya K. Debray	Compiler Optimizations for Low-Level Redundancy Elimination: An Application of Meta-Level Prolog Primitives.	META	1992	DBLP DOI BibTeX RDF
18	Kerima Benkerimi, Patricia M. Hill	Object-Oriented Programming in Gödel: An Experiment.	META	1992	DBLP DOI BibTeX RDF
18	Luis Fariñas del Cerro, Andreas Herzig	Metaprogramming Through Intensional Deduction: Some Examples.	META	1992	DBLP DOI BibTeX RDF
18	Henryk Jan Komorowski	An Introduction to Partial Deduction.	META	1992	DBLP DOI BibTeX RDF
18	Kurt Konolige	An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming.	META	1992	DBLP DOI BibTeX RDF
18	Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone	Reflective Agents in Metalogic Programming.	META	1992	DBLP DOI BibTeX RDF
18	Danny De Schreye, Kristof Verschaetse	Tutorial on Termination of Logic Programs.	META	1992	DBLP DOI BibTeX RDF
18	Maurice Bruynooghe, Gerda Janssens	Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs.	META	1992	DBLP DOI BibTeX RDF
18	Annalisa Bossi, Nicoletta Cocco, Sandro Etalle	Transforming Normal Programs by Replacement.	META	1992	DBLP DOI BibTeX RDF
18	Frank van Harmelen	META'90: A Workshop on Meta-programming in Logic-programmingK.U. Leuven, Belgium, april 4-6, 1990.	AI Commun.	1990	DBLP DOI BibTeX RDF
17	Joel Falcou, Jocelyn Sérot, Lucien Pech, Jean-Thierry Lapresté	Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code.	Euro-Par	2008	DBLP DOI BibTeX RDF
17	Tom Mens, Roel Wuyts, Kris De Volder, Kim Mens	Declarative Meta Programming to Support Software Development: Workshop Report.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
17	Johan Fabry	Supporting Development of Enterprise JavaBeans through Declarative Meta Programming.	OOIS	2002	DBLP DOI BibTeX RDF
16	Reinhold Plösch	Design by Contract for Python.	APSEC	1997	DBLP DOI BibTeX RDF
15	Merijn de Jonge, Joost Visser 0001	Workshop on Generative Programming 2002 (GP2002).	ICSR	2002	DBLP DOI BibTeX RDF
15	Denis Caromel, Julien Vayssière	Reflections on MOPs, Components, and Java Security.	ECOOP	2001	DBLP DOI BibTeX RDF
15	Alex Villazón, Jarle Hulaas	Active Network Service Management Based on Meta-level Architectures.	Reflection and Software Engineering	1999	DBLP DOI BibTeX RDF
15	Ian Masliah, Marc Baboulin, Joël Falcou	Meta-programming and Multi-stage Programming for GPGPUs.	MCSoC	2016	DBLP DOI BibTeX RDF
15	Simone Pellegrini, Radu Prodan, Thomas Fahringer	Leveraging C++ Meta-programming Capabilities to Simplify the Message Passing Programming Model.	EuroMPI	2011	DBLP DOI BibTeX RDF
15	Zachary Snow, David Baelde, Gopalan Nadathur	A Meta-Programming Approach to Realizing Dependently Typed Logic Programming	CoRR	2010	DBLP BibTeX RDF
15	Zachary Snow, David Baelde, Gopalan Nadathur	A meta-programming approach to realizing dependently typed logic programming.	PPDP	2010	DBLP DOI BibTeX RDF	dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks
15	Jon Pearce	Programming and meta-programming in Scheme.		1998	RDF
15	Evelina Lamma, Paola Mello, Michela Milano	Enhancing Constraint Logic Programming through Meta Programming.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
15	Bern Martens	On the semantics of meta-programming and the control of partial deduction in logic programming.		1994	RDF
15	Pierre Lim, Joachim Schimpf	A Conservative Approach to Meta-Programming in Constraint Logic Programming.	PLILP	1993	DBLP DOI BibTeX RDF
15	Bernd Krieg-Brückner	A Language Family for Programming and Meta-Programming.	PROSPECTRA Book	1993	DBLP DOI BibTeX RDF
15	Pierre Lim, Peter J. Stuckey	Meta Programming as Constraint Programming.	NACLP	1990	DBLP BibTeX RDF
14	É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
14	Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera	Typed transformations of typed abstract syntax.	TLDI	2009	DBLP DOI BibTeX RDF	typed transformations, type systems, meta-programming, gadt, common subexpression elimination
14	Vassilios Karakoidas, Diomidis Spinellis	J%: Integrating Domain-Specific Languages with Java.	Panhellenic Conference on Informatics	2009	DBLP DOI BibTeX RDF	Compilers, Programming Languages, Domain-Specific Languages, Meta-Programming
14	Camillo Bruni, Toon Verwaest	PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	PyPy, RPython, whole-system virtual machine, translation toolchain, compile-time meta-programming Game Boy, 8-bit CPU, Python, high-level language
14	Paul Klint, Tijs van der Storm, Jurgen J. Vinju	RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation.	SCAM	2009	DBLP DOI BibTeX RDF	source code manipulation, transformation, meta-programming, source code analysis
14	Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and flexible access control via Jones-optimal logic program specialisation.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming
14	Lennart C. L. Kats, Martin Bravenboer, Eelco Visser	Mixing source and bytecode: a case for compilation by normalization.	OOPSLA	2008	DBLP DOI BibTeX RDF	dryad compiler, source tracing, java, compilers, domain-specific languages, iterators, meta programming, language extensions, bytecode, traits, embedded languages, SDF, stratego
14	Geoffrey Mainland, Greg Morrisett, Matt Welsh	Flask: staged functional programming for sensor networks.	ICFP	2008	DBLP DOI BibTeX RDF	meta programming
14	Eli Tilevich, Godmar Back	"Program, enhance thyself!": demand-driven pattern-oriented program enhancement.	AOSD	2008	DBLP DOI BibTeX RDF	program enhancement, aspect-oriented programming, patterns, meta-programming, rules engines
14	Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink	Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime.	Haskell	2008	DBLP DOI BibTeX RDF	left-corner transform, typed abstract syntax, typed transformations, type systems, haskell, meta programming, gadt, parser combinators
14	Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien	Behavioral similarity matching using concrete source code templates in logic queries.	PEPM	2007	DBLP DOI BibTeX RDF	logic meta programming, program querying, source code templates, program analysis, pattern detection, program validation
14	Andrew M. Pitts, Mark R. Shinwell	Generative unbinding of names.	POPL	2007	DBLP DOI BibTeX RDF	alpha-conversion, meta-programming, abstract syntax, binders
14	Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander	Constructing language processors with algebra combinators.	GPCE	2007	DBLP DOI BibTeX RDF	modular monadic semantics, meta-programming
14	Jeroen Arnoldus, Jeanot Bijpost, Mark van den Brand	Repleo: a syntax-safe template engine.	GPCE	2007	DBLP DOI BibTeX RDF	ASF+SDF, concrete object syntax, repleo, syntax safety, code generators, templates, meta programming
14	Shan Shan Huang, David Zook, Yannis Smaragdakis	cJ: enhancing java with safe type conditions.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, meta-programming, language extensions
14	Geoffrey Mainland	Why it's nice to be quoted: quasiquoting for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	quasiquoting, meta programming
14	Christopher Mueller, Andrew Lumsdaine	Runtime synthesis of high-performance code from scripting languages.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	chemical fingerprint, synthetic programming, SIMD, Python, meta-programming, machine code
14	Yosihiro Yuse, Atsushi Igarashi	A modal type system for multi-level generating extensions with persistent code.	PPDP	2006	DBLP DOI BibTeX RDF	time-ordered normalization, temporal logic, type systems, modal logic, meta-programming, curry-howard isomorphism
14	Wade Holst	Meta: a universal meta-language for augmenting and unifying language families, featuring meta(oopl) for object-oriented programming languages.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	language interoperability, object-oriented, language design, meta-programming, meta-languages
14	Ulf Pettersson, Stan Jarzabek	Industrial experience with building a web portal product line using a lightweight, reactive approach.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	static meta-programming, reuse, software product lines, maintenance, web engineering, program synthesis
14	Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek	Beyond templates: a study of clones in the STL and some general implications.	ICSE	2005	DBLP DOI BibTeX RDF	software maintenance, clones, meta-programming
14	Martin Bravenboer, Eelco Visser	Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions.	OOPSLA	2004	DBLP DOI BibTeX RDF	MetaBorg, concrete object syntax, extensible syntax, syntax extension, domain-specific languages, rewriting, meta programming, embedded languages, SDF, stratego
14	Youssef Hassoun, Roger Johnson, Steve Counsell	Reusability, open implementation and Java's dynamic proxies.	PPPJ	2003	DBLP BibTeX RDF	reflection, reusability, proxy, meta-programming
14	DeLesley Hutchins	The power of symmetry: unifying inheritance and generative programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points
14	Grigore Rosu	On implementing behavioral rewriting.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	behavioral rewriting, hidden equational logic, term rewriting, meta-programming
14	Stephen Drape, Oege de Moor, Ganesh Sittampalam	Transforming the .NET intermediate language using path logic programming.	PPDP	2002	DBLP DOI BibTeX RDF	compiler optimisations, logic programming, program transformation, program analysis, obfuscation, meta programming
14	Steven Bromling, Steve MacDonald, John Anvik, Jonathan Schaeffer, Duane Szafron, Kai Tan 0005	Pattern-Based Parallel Programming.	ICPP	2002	DBLP DOI BibTeX RDF	frameworks, design patterns, meta-programming, parallel programming environment
14	Tom Mens, Tom Tourwé	A Declarative Evolution Framework for Object-Oriented Design Patterns.	ICSM	2001	DBLP DOI BibTeX RDF	declarative reasoning, evolution conflict, design patterns, refactoring, software evolution, meta programming, software transformation
14	Michael Sperber, Robert Glück, Peter Thiemann 0001	Bootstrapping higher-order program transformers from interpreters.	SAC	1996	DBLP DOI BibTeX RDF	program transformation, partial evaluation, meta programming, higher-order programming
14	Corin A. Gurr	Verifiable partial specifications for logic programming.	SAC	1996	DBLP DOI BibTeX RDF	Gödel, logic programming, meta-programming, automated debugging
14	Davide Ancona, Eugenio Moggi	A Fresh Calculus for Name Management.	GPCE	2004	DBLP DOI BibTeX RDF
14	Sean Seefried, Manuel M. T. Chakravarty, Gabriele Keller	Optimising Embedded DSLs Using Template Haskell.	GPCE	2004	DBLP DOI BibTeX RDF
13	Shigeru Chiba	Program Transformation with Reflection and Aspect-Oriented Programming.	GTTSE	2005	DBLP DOI BibTeX RDF
12	Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan	Melange: creating a "functional" internet.	EuroSys	2007	DBLP DOI BibTeX RDF
12	Bernd Fischer 0002, Eelco Visser	Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
12	Weidong Chen 0005, Michael Kifer	Sorted HiLog: Sorts in Higher-Order Logic Data Languages.	ICDT	1995	DBLP DOI BibTeX RDF
12	Werner Kießling, Ulrich Güntzer	Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption.	IS/KI	1994	DBLP DOI BibTeX RDF
11	Gabriel Dos Reis, Bjarne Stroustrup	General constant expressions for system programming languages.	SAC	2010	DBLP DOI BibTeX RDF	compile time evaluation, standardization
11	Ulf Norell, Patrik Jansson	Prototyping Generic Programming in Template Haskell.	MPC	2004	DBLP DOI BibTeX RDF
11	Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto	Sleepers: A Versatile High-Level Control Mechanism.	PLILP	1994	DBLP DOI BibTeX RDF
11	Jason Z. S. Hu, Brigitte Pientka	Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis.	ESOP (1)	2024	DBLP DOI BibTeX RDF
11	Sirui Hong, Xiawu Zheng, Jonathan Chen, Yuheng Cheng, Jinlin Wang, Ceyao Zhang, Zili Wang, Steven Ka Shing Yau, Zijuan Lin, Liyang Zhou, Chenyu Ran, Lingfeng Xiao, Chenglin Wu	MetaGPT: Meta Programming for Multi-Agent Collaborative Framework.	CoRR	2023	DBLP DOI BibTeX RDF
11	Ronie Salgado	The Design and Implementation of an Extensible System Meta-Programming Language.	CoRR	2023	DBLP DOI BibTeX RDF
11	Bartlomiej Jacek Kubica	Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming.	Numer. Algorithms	2023	DBLP DOI BibTeX RDF
11	Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese	Verified symbolic execution with Kripke specification monads (and no meta-programming).	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
11	Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg, Brandon Neth (eds.)	OpenMP in a Modern World: From Multi-device Support to Meta Programming - 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings	IWOMP	2022	DBLP DOI BibTeX RDF
11	Magnus Madsen, Jonathan Lindegaard Starup, Ondrej Lhoták	Flix: A Meta Programming Language for Datalog.	Datalog	2022	DBLP BibTeX RDF
11	Jessica Vandebon, José Gabriel F. Coutinho, Wayne Luk	Meta-Programming Design-Flow Patterns for Automating Reusable Optimisations.	HEART	2022	DBLP DOI BibTeX RDF