Results
Found 326 publication records. Showing 326 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
93 | Yannis Smaragdakis |
Invited talk: program generators and the tools to make them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 7-8, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
safety guarantees, meta-programming, program generators |
66 | Chiyan Chen, Hongwei Xi |
Meta-programming through typeful code representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 275-286, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(9), pp. 26-76, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
55 | Matthew Fowler, Brahm van Niekerk |
Meta-programming for the real world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 15, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 399-415, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
45 | Yannis Smaragdakis, Shan Shan Huang, David Zook |
Program generators and the tools to make them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, pp. 92-100, 2004, ACM, 1-58113-835-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
safety guarantees, meta-programming, program generators |
44 | Andrew Bowles, Paul Wilk |
Tracing Requirements for Multi-Layered Meta-Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 205-215, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
44 | Paul Tarau, Michel Boyer |
Prolog Meta-Programming with Soft Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 365-381, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
43 | Rui Shi, Chiyan Chen, Hongwei Xi |
Distributed meta-programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 243-248, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 43-54, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLS ![In: Proceedings of the 2005 Symposium on Dynamic Languages, DLS 2005, October 18, 2007, San Diego, California, USA, pp. 49-63, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Eelco Visser |
Meta-programming with Concrete Object Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings, pp. 299-315, 2002, Springer, 3-540-44284-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Jurgen J. Vinju |
Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers, pp. 97-112, 2005, Springer, 3-540-34063-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Gabriel Ciobanu, Dorel Lucanu |
Cellular Meta-programming over Membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UPP ![In: Unconventional Programming Paradigms, International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers, pp. 196-206, 2004, Springer, 3-540-27884-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Jamie Cullen |
Evolutionary meta programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 81-88, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![MIT Press, 0-262-51047-2 The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
33 | Seiki Akama, Akira Ishikawa |
Semantically Constrained Parsing and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 157-168, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Albert Bruffaerts, Eric Henin |
Negation as Failure: Proofs, Inference Rules and Meta-Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 169-190, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Thom W. Frühwirth |
Type Inference by Program Transformation and Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 263-282, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Francesca Rossi 0001, Ugo Montanari |
Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 531-544, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Verónica Dahl, Pierre Massicotte |
Processing Techniques for Dsicontinuous Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 141-156, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Jonas Barklund |
What Is a Meta-Variable in Prolog? ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 383-398, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Fausto Giunchiglia, Alan Smaill |
Reflection in Constructive and Non-constructive Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 123-140, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Frank van Harmelen |
A Classification of Meta-level Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 103-122, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | John Hannan, Dale Miller 0001 |
A Meta-Logic for Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 453-476, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | David Chan, Mark Wallace 0001 |
A Treatment of Negation during Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 299-317, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | L. Ümit Yalçinalp, Leon Sterling |
An Integrated Interpreter for Explaining Prolog's Successes and Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 191-203, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Brian J. Ross |
The Partial Evaluation of Imperative Programs Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 341-363, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 435-452, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Paul J. Voda |
The Logical Reconstruction of Cuts as One Solution Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 523-530, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Howard A. Blair |
Metalogic Programming and Direct Universal Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 53-63, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Patricia M. Hill, John W. Lloyd |
Analysis of Meta-Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 23-51, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski |
Algorithmic Debugging with Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 501-521, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Ilyas Cicekli |
Design and Implementation of An Abstract MetaProlog Engine for MetaProlog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 417-433, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Lynette Hirschman |
A Meta-Rule Treatment for Englich Wh-Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 1-21, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | V. S. Subrahmanian |
A Simple Formulation of the Theory of Metalogic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 65-101, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Yue Jun Jiang, Nader Azarmi |
Meta Logic Programming for Epistemic Notions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 477-499, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 283-297, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Danny De Schreye, Maurice Bruynooghe |
The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 217-231, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Michael Codish, John P. Gallagher, Ehud Shapiro |
Using Safe Approximations of Fixed Points for Analysis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 233-261, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Stephen Owen |
Issues in the Partial Evaluation of Meta-Interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 319-339, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Patricia M. Hill |
A Module System for Meta-Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 395-409, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | Laurence Tratt |
Domain specific language implementation via compile-time meta-programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(6), pp. 31:1-31:40, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I, pp. 154-163, 2008, Springer, 978-3-540-69383-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Parallel programming, skeletons, meta-programming |
32 | Anthony Savidis |
Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers, pp. 113-128, 2005, Springer, 3-540-34063-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOA ![In: 3rd International Symposium on Distributed Objects and Applications, DOA 2001, Rome, Italy, September 17-20, 2001, pp. 289-298, 2001, IEEE Computer Society, 0-7695-1300-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, pp. 1-18, 2004, Springer, 3-540-23580-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Paul Tarau |
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 1225-1239, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 517-530, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Tim Sheard |
Accomplishments and Research Challenges in Meta-programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAIG ![In: Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings, pp. 2-44, 2001, Springer, 3-540-42558-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Jesper Larsson Träff, Steven David Prestwich |
Meta-Programming for Reordering Literals in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings, pp. 280-293, 1992, Springer, 3-540-56282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Henning Christiansen 0001 |
A Complete Resolution method for Logical Meta-Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings, pp. 205-219, 1992, Springer, 3-540-56282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Iliano Cervesato, Gianfranco Rossi |
Logic Meta-Programming Facilities in 'LOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings, pp. 148-161, 1992, Springer, 3-540-56282-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings, pp. 192-204, 1992, Springer, 3-540-56282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
28 | Jamie Cullen |
Evolving common LISP programs in a linear-genotype evolutionary computation system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 75-80, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 206-217, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 571-580, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Amnon H. Eden, Amiram Yehudai, Joseph Gil |
Precise Specification and Automatic Application of Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 143-152, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 237-246, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (33) ![In: TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France, pp. 300-311, 2000, IEEE Computer Society, 0-7695-0731-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings, pp. 157-172, 2005, Springer, 3-540-29138-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 15-26, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 1002-1016, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings, pp. 253-281, 1989, Springer, 3-540-53590-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@TOOLS ![In: Software Composition - 8th International Conference, SC@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 1-4, 2009, Springer, 978-3-642-02654-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture, Second European Conference, ECSA 2008, Paphos, Cyprus, September 29 - October 1, 2008, Proceedings, pp. 338-341, 2008, Springer, 978-3-540-88029-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Peter Breitling |
Meta-programming Middleware for Distributed Object Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings, pp. 41-48, 2003, Springer, 3-540-20529-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Kris De Volder, Theo D'Hondt |
Aspect-Orientated Logic Meta Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reflection ![In: Meta-Level Architectures and Reflection, Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999, Proceedings, pp. 250-272, 1999, Springer, 3-540-66280-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR/META ![Springer, 3-540-58792-6 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Pierre Flener, Lubos Popelínský |
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 69-87, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Michael Leuschel |
Partial Evaluation of the "Real Thing". ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 122-137, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 183-198, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Dmitri Boulanger, Maurice Bruynooghe |
Using Call/Exit Analysis for Logic Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 36-50, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Christine Solnon, Michel Rueher |
Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 199-214, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Geraint A. Wiggins |
Improving the Whelk System: A Type-Theoretic Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 231-247, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Marco Comini, Giorgio Levi, Giuliana Vitiello |
Abstract Debugging of Logic Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 440-450, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | David A. Basin |
Logic Frameworks for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 1-16, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Fausto Giunchiglia, Alessandro Cimatti |
Introspective Metatheoretic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 425-439, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Nacéra Bensaou, Irène Guessarian |
An Extended Transformation System for CLP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 17-35, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Frank van Harmelen |
A Model of Costs and Benefits of Meta-Level Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 248-261, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Sophie Renault |
Generalizing Extended Execution for Normal Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 154-169, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Chiaki Sakama, Hirohisa Seki |
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 170-182, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Paul Tarau, Verónica Dahl |
Logic Programming and Logic Grammars with First-Order Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 215-230, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | David R. Gilbert, Christopher J. Hogger, Jirí Zlatuska |
Transforming Specifications of Observable Behaviour into Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 88-103, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Kung-Kiu Lau, Mario Ornaghi |
On Specification Frameworks and Deductive Synthesis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 104-121, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Barbara Dunin-Keplicz |
An Architecture with Multiple Meta-Levels for the Development of Correct Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 293-310, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | J. Cook, John P. Gallagher |
A Transformation System for Definite Programs Based on Termination Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 51-68, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua |
A Basis for a Multi-Level Meta-Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 262-275, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Annalisa Bossi, Sandro Etalle |
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 311-331, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Giuseppe Attardi, Maria Simi |
Building Proofs in Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 410-424, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur |
Formal Semantics of Temporal Epistemic Reflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 332-352, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Emmanuil I. Marakakis, John P. Gallagher |
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 138-153, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Jan Treur |
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 353-376, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Marion Mircheva |
Logic Programs with Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 276-292, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Antonio Brogi, Simone Contiero |
Gödel as a Meta-Language for Composing Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings, pp. 377-394, 1994, Springer, 3-540-58792-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Shan Shan Huang, Yannis Smaragdakis |
Expressive and safe static reflection with MorphJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 79-89, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 29-38, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTTSE ![In: Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers, pp. 144-168, 2005, Springer, 3-540-45778-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Program Transformation, Functional Programming, Program Optimization, Meta Programming, Program Calculation |
21 | Kris De Volder |
Aspect-Oriented Logic Meta Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings, pp. 414-417, 1998, Springer, 3-540-65460-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | François Bry |
Negation in Logic Programming: A Formalization in Constructive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS/KI ![In: Information Systems and Artificial Intelligence: Integration Aspects, First Workshop, Ulm, FRG, March 19-21, 1990, Proceedings, pp. 30-46, 1990, Springer, 3-540-53557-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 326 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |