Search results for "meta-programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Yannis Smaragdakis	Invited talk: program generators and the tools to make them.	PPDP	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
66	Chiyan Chen, Hongwei Xi	Meta-programming through typeful code representation.	ICFP	2003	DBLP DOI BibTeX RDF	multi-level staged programming, typeful code representation, meta-programming
63	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
55	Matthew Fowler, Brahm van Niekerk	Meta-programming for the real world.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	MDA, model-driven development, meta-programming, logical models
51	Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali	Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques.	META	1988	DBLP BibTeX RDF
45	Yannis Smaragdakis, Shan Shan Huang, David Zook	Program generators and the tools to make them.	PEPM	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
44	Andrew Bowles, Paul Wilk	Tracing Requirements for Multi-Layered Meta-Programming.	META	1988	DBLP BibTeX RDF
44	Paul Tarau, Michel Boyer	Prolog Meta-Programming with Soft Databases.	META	1988	DBLP BibTeX RDF
43	Rui Shi, Chiyan Chen, Hongwei Xi	Distributed meta-programming.	GPCE	2006	DBLP DOI BibTeX RDF	applied type system, distributed meta-programming, typeful code representation, ATS
43	Don Syme	Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution.	ML	2006	DBLP DOI BibTeX RDF	GPUs, functional programming, reflection, domain specific languages, meta-programming, database languages, LINQ
41	Laurence Tratt	Compile-time meta-programming in a dynamically typed OO language.	DLS	2005	DBLP DOI BibTeX RDF
37	Eelco Visser	Meta-programming with Concrete Object Syntax.	GPCE	2002	DBLP DOI BibTeX RDF
36	Jurgen J. Vinju	Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs.	RISE	2005	DBLP DOI BibTeX RDF
35	Gabriel Ciobanu, Dorel Lucanu	Cellular Meta-programming over Membranes.	UPP	2004	DBLP DOI BibTeX RDF
34	Jamie Cullen	Evolutionary meta programming.	GEC Summit	2009	DBLP DOI BibTeX RDF	evolutionary meta compilation, evolutionary meta programming, genetic programming, evolutionary computation, grammatical evolution
33	Harvey Abramson, M. H. Rogers (eds.)	Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988.	META	1989	DBLP BibTeX RDF
33	Seiki Akama, Akira Ishikawa	Semantically Constrained Parsing and Logic Programming.	META	1988	DBLP BibTeX RDF
33	Albert Bruffaerts, Eric Henin	Negation as Failure: Proofs, Inference Rules and Meta-Interpreters.	META	1988	DBLP BibTeX RDF
33	Thom W. Frühwirth	Type Inference by Program Transformation and Partial Evaluation.	META	1988	DBLP BibTeX RDF
33	Francesca Rossi 0001, Ugo Montanari	Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming.	META	1988	DBLP BibTeX RDF
33	Verónica Dahl, Pierre Massicotte	Processing Techniques for Dsicontinuous Grammars.	META	1988	DBLP BibTeX RDF
33	Jonas Barklund	What Is a Meta-Variable in Prolog?	META	1988	DBLP BibTeX RDF
33	Fausto Giunchiglia, Alan Smaill	Reflection in Constructive and Non-constructive Automated Reasoning.	META	1988	DBLP BibTeX RDF
33	Frank van Harmelen	A Classification of Meta-level Architectures.	META	1988	DBLP BibTeX RDF
33	John Hannan, Dale Miller 0001	A Meta-Logic for Functional Programming.	META	1988	DBLP BibTeX RDF
33	David Chan, Mark Wallace 0001	A Treatment of Negation during Partial Evaluation.	META	1988	DBLP BibTeX RDF
33	L. Ümit Yalçinalp, Leon Sterling	An Integrated Interpreter for Explaining Prolog's Successes and Failures.	META	1988	DBLP BibTeX RDF
33	Brian J. Ross	The Partial Evaluation of Imperative Programs Using Prolog.	META	1988	DBLP BibTeX RDF
33	John Staples, Peter J. Robinson 0001, R. A. Paterson, R. A. Hagen, A. J. Craddock, P. C. Wallis	Qu-Prolog: An Extended Prolog for Meta Level Programming.	META	1988	DBLP BibTeX RDF
33	Paul J. Voda	The Logical Reconstruction of Cuts as One Solution Operators.	META	1988	DBLP BibTeX RDF
33	Howard A. Blair	Metalogic Programming and Direct Universal Computability.	META	1988	DBLP BibTeX RDF
33	Patricia M. Hill, John W. Lloyd	Analysis of Meta-Programs.	META	1988	DBLP BibTeX RDF
33	Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski	Algorithmic Debugging with Assertions.	META	1988	DBLP BibTeX RDF
33	Ilyas Cicekli	Design and Implementation of An Abstract MetaProlog Engine for MetaProlog.	META	1988	DBLP BibTeX RDF
33	Lynette Hirschman	A Meta-Rule Treatment for Englich Wh-Constructions.	META	1988	DBLP BibTeX RDF
33	V. S. Subrahmanian	A Simple Formulation of the Theory of Metalogic Programming.	META	1988	DBLP BibTeX RDF
33	Yue Jun Jiang, Nader Azarmi	Meta Logic Programming for Epistemic Notions.	META	1988	DBLP BibTeX RDF
33	Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper	Complete Sets of Frontiers in Logic-Based Program Transformation.	META	1988	DBLP BibTeX RDF
33	Danny De Schreye, Maurice Bruynooghe	The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation.	META	1988	DBLP BibTeX RDF
33	Michael Codish, John P. Gallagher, Ehud Shapiro	Using Safe Approximations of Fixed Points for Analysis of Logic Programs.	META	1988	DBLP BibTeX RDF
33	Stephen Owen	Issues in the Partial Evaluation of Meta-Interpreters.	META	1988	DBLP BibTeX RDF
33	Patricia M. Hill	A Module System for Meta-Programming.	META	1994	DBLP DOI BibTeX RDF
33	Laurence Tratt	Domain specific language implementation via compile-time meta-programming.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Syntax extension, compile-time meta-programming, domain specific languages
33	Jocelyn Sérot, Joel Falcou	Functional Meta-programming for Parallel Skeletons.	ICCS (1)	2008	DBLP DOI BibTeX RDF	Parallel programming, skeletons, meta-programming
32	Anthony Savidis	Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming.	RISE	2005	DBLP DOI BibTeX RDF
31	Angelo Corsaro, Christopher Gill 0001, Ron Cytron, Douglas C. Schmidt	Formalizing Meta-Programming Techniques to Reconcile Heterogeneous Scheduling Disciplines in Open Distributed Real-Time Systems.	DOA	2001	DBLP DOI BibTeX RDF	Real-Time and Distributed Systems, Meta-programming Architectures, CORBA, Dynamic Scheduling
31	David Zook, Shan Shan Huang, Yannis Smaragdakis	Generating AspectJ Programs with Meta-AspectJ.	GPCE	2004	DBLP DOI BibTeX RDF
30	Paul Tarau	Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects.	Computational Logic	2000	DBLP DOI BibTeX RDF	logic programming language design and implementation, interoperation of declarative and stateful languages, meta- programming and reflection
29	Alexander Serebrenik, Danny De Schreye	On Termination of Meta-Programs.	LPAR	2001	DBLP DOI BibTeX RDF
29	Tim Sheard	Accomplishments and Research Challenges in Meta-programming.	SAIG	2001	DBLP DOI BibTeX RDF
29	Jesper Larsson Träff, Steven David Prestwich	Meta-Programming for Reordering Literals in Deductive Databases.	META	1992	DBLP DOI BibTeX RDF
29	Henning Christiansen 0001	A Complete Resolution method for Logical Meta-Programming Languages.	META	1992	DBLP DOI BibTeX RDF
29	Iliano Cervesato, Gianfranco Rossi	Logic Meta-Programming Facilities in 'LOG.	META	1992	DBLP DOI BibTeX RDF
29	Danny De Schreye, Bern Martens	A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation.	META	1992	DBLP DOI BibTeX RDF
28	Jamie Cullen	Evolving common LISP programs in a linear-genotype evolutionary computation system.	GEC Summit	2009	DBLP DOI BibTeX RDF	evolutionary meta compilation, evolutionary meta programming, artificial intelligence, genetic programming, evolutionary computation, grammatical evolution
28	Aleksandar Nanevski	Meta-programming with names and necessity.	ICFP	2002	DBLP DOI BibTeX RDF	modal lambda-calculus, higher-order abstract syntax
26	Mika Karaila, Tarja Systä	Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language-An Industrial Experience Report.	ICSE	2007	DBLP DOI BibTeX RDF
26	Amnon H. Eden, Amiram Yehudai, Joseph Gil	Precise Specification and Automatic Application of Design Patterns.	ASE	1997	DBLP DOI BibTeX RDF	precise pattern specification, automatic pattern application, meta-programming language, software tool prototype, source code test, source code editing, algorithm, design patterns, object-oriented design, object-oriented methods
25	Stan Jarzabek, Shubiao Li	Eliminating redundancies with a "composition with adaptation" meta-programming technique.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	generative programming, object-oriented methods, meta-programming, class libraries
25	Uwe Aßmann, Holger Bär, Thomas Genssler	Meta-Programming Grey-Box Connectors.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	architectural connectors, component-based software development, meta-programming, COTS integration, component adaptation
24	Martin Bravenboer, Rob Vermaas, Jurgen J. Vinju, Eelco Visser	Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax.	GPCE	2005	DBLP DOI BibTeX RDF
23	Coen De Roover, Johan Brichau, Theo D'Hondt	Combining fuzzy logic and behavioral similarity for non-strict program validation.	PPDP	2006	DBLP DOI BibTeX RDF	logic meta programming, quality assurance of object-oriented programs, program analysis, points-to analysis, fuzzy logic programming, program validation
23	Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini	MuTACLP: A Language for Declarative GIS Analysis.	Computational Logic	2000	DBLP DOI BibTeX RDF	gis analysis, meta-programming, spatio-temporal reasoning
23	Dale Miller 0001	A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification.	ELP	1989	DBLP DOI BibTeX RDF
23	Paul Klint, Jurgen J. Vinju, Tijs van der Storm	Language Design for Meta-programming in the Software Composition Domain.	SC@TOOLS	2009	DBLP DOI BibTeX RDF
23	Robertas Damasevicius, Vytautas Stuikys, Jevgenijus Toldinas	Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques.	ECSA	2008	DBLP DOI BibTeX RDF
23	Peter Breitling	Meta-programming Middleware for Distributed Object Computing.	DAIS	2003	DBLP DOI BibTeX RDF
23	Kris De Volder, Theo D'Hondt	Aspect-Orientated Logic Meta Programming.	Reflection	1999	DBLP DOI BibTeX RDF
22	Laurent Fribourg, Franco Turini (eds.)	Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings	LOPSTR/META	1994	DBLP DOI BibTeX RDF
22	Pierre Flener, Lubos Popelínský	On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Michael Leuschel	Partial Evaluation of the "Real Thing".	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael J. Pazzani	Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Dmitri Boulanger, Maurice Bruynooghe	Using Call/Exit Analysis for Logic Program Transformation.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Christine Solnon, Michel Rueher	Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Geraint A. Wiggins	Improving the Whelk System: A Type-Theoretic Reconstruction.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Marco Comini, Giorgio Levi, Giuliana Vitiello	Abstract Debugging of Logic Program.	META	1994	DBLP DOI BibTeX RDF
22	David A. Basin	Logic Frameworks for Logic Programs.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Fausto Giunchiglia, Alessandro Cimatti	Introspective Metatheoretic Reasoning.	META	1994	DBLP DOI BibTeX RDF
22	Nacéra Bensaou, Irène Guessarian	An Extended Transformation System for CLP Programs.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Frank van Harmelen	A Model of Costs and Benefits of Meta-Level Computation.	META	1994	DBLP DOI BibTeX RDF
22	Sophie Renault	Generalizing Extended Execution for Normal Programs.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Chiaki Sakama, Hirohisa Seki	Partial Deduction of Disjunctive Logic Programs: A Declarative Approach.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Paul Tarau, Verónica Dahl	Logic Programming and Logic Grammars with First-Order Continuations.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	David R. Gilbert, Christopher J. Hogger, Jirí Zlatuska	Transforming Specifications of Observable Behaviour into Programs.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Kung-Kiu Lau, Mario Ornaghi	On Specification Frameworks and Deductive Synthesis of Logic Programs.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Barbara Dunin-Keplicz	An Architecture with Multiple Meta-Levels for the Development of Correct Programs.	META	1994	DBLP DOI BibTeX RDF
22	J. Cook, John P. Gallagher	A Transformation System for Definite Programs Based on Termination Analysis.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua	A Basis for a Multi-Level Meta-Logic Programming Language.	META	1994	DBLP DOI BibTeX RDF
22	Annalisa Bossi, Sandro Etalle	More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics.	META	1994	DBLP DOI BibTeX RDF
22	Giuseppe Attardi, Maria Simi	Building Proofs in Context.	META	1994	DBLP DOI BibTeX RDF
22	Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur	Formal Semantics of Temporal Epistemic Reflection.	META	1994	DBLP DOI BibTeX RDF
22	Emmanuil I. Marakakis, John P. Gallagher	Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types.	LOPSTR	1994	DBLP DOI BibTeX RDF
22	Jan Treur	Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning.	META	1994	DBLP DOI BibTeX RDF
22	Marion Mircheva	Logic Programs with Tests.	META	1994	DBLP DOI BibTeX RDF
22	Antonio Brogi, Simone Contiero	Gödel as a Meta-Language for Composing Logic Programs.	META	1994	DBLP DOI BibTeX RDF
22	Shan Shan Huang, Yannis Smaragdakis	Expressive and safe static reflection with MorphJ.	PLDI	2008	DBLP DOI BibTeX RDF	class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions
22	Gabriel A. Moreno	Creating custom containers with generative techniques.	GPCE	2006	DBLP DOI BibTeX RDF	component, aspect-oriented programming, generative programming, container, meta-programming, AspectC++, non-functional concern
22	Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi	Program Optimizations and Transformations in Calculation Form.	GTTSE	2005	DBLP DOI BibTeX RDF	Program Transformation, Functional Programming, Program Optimization, Meta Programming, Program Calculation
21	Kris De Volder	Aspect-Oriented Logic Meta Programming.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
20	François Bry	Negation in Logic Programming: A Formalization in Constructive Logic.	IS/KI	1990	DBLP DOI BibTeX RDF