Results
Found 326 publication records. Showing 326 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 326 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ >>] |