The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for metaprogramming with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1991 (15) 1992-1997 (17) 1998-2001 (16) 2002-2003 (22) 2004-2005 (19) 2006-2007 (19) 2008-2009 (25) 2010 (17) 2011-2012 (17) 2013-2014 (16) 2015-2016 (15) 2017-2018 (19) 2019-2020 (20) 2021-2022 (15) 2023-2024 (6)
Publication types (Num. hits)
article(61) book(2) incollection(3) inproceedings(177) phdthesis(14) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 179 occurrences of 118 keywords

Results
Found 258 publication records. Showing 258 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
188Ronald Garcia, Andrew Lumsdaine Toward foundations for type-reflective metaprogramming. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantics, c++, reflection, metaprogramming
94Diomidis Spinellis Rational Metaprogramming. Search on Bibsonomy IEEE Softw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
85Todd L. Veldhuizen Tradeoffs in metaprogramming. Search on Bibsonomy PEPM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program generators, metaprogramming, metalanguages
80Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel 10191 Executive Summary - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond. Search on Bibsonomy Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond The full citation details ... 2010 DBLP  BibTeX  RDF
80Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel 10191 Abstracts Collection - Program Composition and Optimization : Autotuning, Scheduling, Metaprogramming and Beyond. Search on Bibsonomy Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond The full citation details ... 2010 DBLP  BibTeX  RDF
80Tristan Cazenave Metaprogramming Domain Specific Metaprograms. Search on Bibsonomy Reflection The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
80James R. Cordy, Medha Shukla Practical metaprogramming. Search on Bibsonomy CASCON The full citation details ... 1992 DBLP  BibTeX  RDF
79Shan Shan Huang, David Zook, Yannis Smaragdakis Domain-specific languages and program generation with meta-AspectJ. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program transformation, program verification, domain-specific languages, program synthesis, language extensions, Metaprogramming
75Salvador Trujillo, Maider Azanza, Oscar Díaz Generative metaprogramming. Search on Bibsonomy GPCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF feature oriented model-driven development, generative metaprogramming, software product lines, generative programming, metaprogramming
70Adam Chlipala Ur: statically-typed metaprogramming with type-level record computation. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dependent types, metaprogramming
65Ritu Arora, Yu Sun 0002, Zekai Demirezen, Jeff Gray 0001 Profiler instrumentation using metaprogramming techniques. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
65Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott Metaprogramming Applications. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel (eds.) Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010 Search on Bibsonomy Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond The full citation details ... 2010 DBLP  BibTeX  RDF
59Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel Program Composition and Optimization: An Introduction. Search on Bibsonomy Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond The full citation details ... 2010 DBLP  BibTeX  RDF
55Hyun Cho Using metaprogramming to implement a testing framework. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF transformation, metaprogramming, testing framework
55Najaf Ali Shah, Anthony Skjellum A metaprogramming approach to generating optimized code for algorithms in linear algebra. Search on Bibsonomy ACM Southeast Regional Conference (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF optimization, code generator, linear algebra, PHP, metaprogramming
50Bill Donkervoet, Gul Agha Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. Search on Bibsonomy FMCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Zoltán Porkoláb, József Mihalicza, Ádám Sipos Debugging C++ template metaprograms. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF template metaprogramming, C++, debugging
49Gilad Bracha, David M. Ungar Mirrors: design principles for meta-level facilities of object-oriented programming languages. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF java, reflection, smalltalk, metaprogramming, mirrors, self
49Michael Leuschel Homeomorphic Embedding for Online Termination of Symbolic Methods. Search on Bibsonomy The Essence of Computation The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders
49Paul Tarau, Verónica Dahl, Koenraad De Bosschere A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. Search on Bibsonomy WETICE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF BinProlog, intuitionistic implication, strong metaprogramming, high-order call/N, filtering interactors, security, agents, logic programming, logic programming, mobile code, remote execution
35Stefano Benedettini, Andrea Roli, Luca Di Gaspero EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms. Search on Bibsonomy SLS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35John H. Reppy, Aaron Turon Metaprogramming with Traits. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Zoltán Porkoláb, István Zólyomi A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming. Search on Bibsonomy GTTSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Jernej Kovse, Christian Weber 0002, Theo Härder Metaprogramming for Relational Databases. Search on Bibsonomy ER The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35István Zólyomi, Zoltán Porkoláb, Tamás Kozsik An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming. Search on Bibsonomy GPCE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Gergely Kis, József Orosz, Márton Pintér, Zoltán László, Thomas Genssler Metaprogramming Library for the C# Programming Language. Search on Bibsonomy JMLC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Jason Baker, Wilson C. Hsieh Runtime aspect weaving through metaprogramming. Search on Bibsonomy AOSD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java
35Giuseppe Attardi, Antonio Cisternino Template Metaprogramming an Object Interface to Relational Tables. Search on Bibsonomy Reflection The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Andreas Ludwig, Dirk Heuzeroth Metaprogramming in the Large. Search on Bibsonomy GCSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Paul Tarau, Arun K. Majumdar Interoperating Logic Engines. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs
35H. Conrad Cunningham A little language for surveys: constructing an internal DSL in Ruby. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reflexive metaprogramming, domain specific language, Ruby
35Paul Tarau Logic Engines as Interactors. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF generalized iterators, logic engines, agent oriented programming language constructs, metaprogramming
35Tiago Stein D'Agostini, Antônio Augusto Fröhlich Bridging AOP to SMP: turning GCC into a metalanguage preprocessor. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspects, metaprogramming
35Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy CodeBricks: code fragments as building blocks. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multistage programming, program transformation, reflection, domain specific language, generative programming, program generation, metaprogramming
35Robertas Damasevicius, Giedrius Majauskas, Vytautas Stuikys Application of design patterns for hardware design. Search on Bibsonomy DAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF system-level design processes, UML, design patterns, metaprogramming, wrapping
35Kim Mens, Tom Mens, Michel Wermelinger Maintaining software through intentional source-code views. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF logic metaprogramming, modularisation, software maintenance and evolution, crosscutting concerns, validation and verification
35Paul Tarau, Verónica Dahl Towards a Logic Programming Infrastructure for Internet Programming. Search on Bibsonomy Artificial Intelligence Today The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Logic Programming and Internet technologies, first order continuations, Linda coordination, blackboard based logic programming, mobile computations, mobile code, metaprogramming, remote execution, controlled natural language, intelligent mobile agents
35Omer F. Rana, Maozhen Li 0001, David W. Walker, Matthew S. Shields An XML Based Component Model for Generating Scientific Applications and Performing Large Scale Simulations in a Meta-computing Environment. Search on Bibsonomy GCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Component Interface/Re-use, Metaprogramming Systems, Parallel Computing, Component-Based Development, Application Generators
35Yoheved Dotan, Benjamin Arazi Using Flat Concurrent Prolog in System Modeling. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF flat concurrent Prolog, AND components, FCP, Petri net methods, reduction process, free competition, conflictingenabled transitions, metaprogramming technique, parallel programming, Petri nets, Petri nets, parallelism, synchronization, logic programming, virtual machines, PROLOG, parallel systems, system modeling, data flow, structural analysis, structured programming, shared variables, guarded commands, indeterminacy
29Charlotte Herzeel, Pascal Costanza, Theo D'Hondt Reflection for the Masses. Search on Bibsonomy S3 The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Don S. Batory Program Refactoring, Program Synthesis, and Model-Driven Development. Search on Bibsonomy CC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Robert Glück, John Hatcliff, Jesper Jørgensen Generalization in Hierarchies of Online Program Specialization Systems. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
29Thom W. Frühwirth Type inference by program transformation and partial evaluation. Search on Bibsonomy ICCL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
21Oleg Kiselyov Generating C: Heterogeneous metaprogramming system description. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
21Flavio De Vincenti, Stelian Coros Ungar - A C++ Framework for Real-Time Optimal Control Using Template Metaprogramming. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Flavio De Vincenti, Stelian Coros Ungar - A C++ Framework for Real-Time Optimal Control Using Template Metaprogramming. Search on Bibsonomy IROS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Michael Ball 0001, Dan Garcia 0001, Yuan Garcia Snap! 8 - Smart Script Pics and Metaprogramming for All! Search on Bibsonomy SIGCSE (2) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21David Shilane A Metaprogramming Algorithm to Simplify the Coding Syntax of Data Analysis Methods. Search on Bibsonomy UEMCON The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Athanasios Xynos, Vasileios Tenentes MetaSPICE: Metaprogramming SPICE Framework for the Design Space Exploration of PUF Circuits. Search on Bibsonomy MOCAST The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Junyoung Jang 0001, Samuel Gélineau, Stefan Monnier, Brigitte Pientka Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Krzysztof Kaczmarski, Jakub Narebski, Stanislaw Piotrowski, Piotr Przymus Fast JSON parser using metaprogramming on GPU. Search on Bibsonomy DSAA The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
21Hiroyuki Takizawa, Shinji Shiotsuki, Naoki Ebata, Ryusuke Egawa OpenCL-like offloading with metaprogramming for SX-Aurora TSUBASA. Search on Bibsonomy Parallel Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Jeffrey Kelling, Sergei I. Bastrakov, Alexander Debus, Thomas Kluge, Matt Leinhauser, Richard Pausch, Klaus Steiniger, Jan Stephan, René Widera, Jeff Young 0001, Michael Bussmann, Sunita Chandrasekaran, Guido Juckeland Challenges Porting a C++ Template-Metaprogramming Abstraction Layer to Directive-based Offloading. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Junyoung Jang 0001, Samuel Gélineau, Stefan Monnier, Brigitte Pientka Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version). Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
21Denis Demidov, Lin Mu, Bin Wang Accelerating linear solvers for Stokes problems with C++ metaprogramming. Search on Bibsonomy J. Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Grzegorz Rybak, Krzysztof Strzecha Short-Time Fourier Transform Based on Metaprogramming and the Stockham Optimization Method. Search on Bibsonomy Sensors The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky Virtual ADTs for portable metaprogramming. Search on Bibsonomy MPLR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Mahshid Shahmohammadian, Geoffrey Mainland Metaprogramming with combinators. Search on Bibsonomy GPCE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang 0046, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni 0001 HACCLE: metaprogramming for secure multi-party computation. Search on Bibsonomy GPCE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21Riemer van Rozen, Youri Reijne, Clement Julia, Georgia Samaritaki First-Person Realtime Collaborative Metaprogramming Adventures. Search on Bibsonomy AIIDE Workshops The full citation details ... 2021 DBLP  BibTeX  RDF
21Jeffrey Kelling, Sergey I. Bastrakov, Alexander Debus, Thomas Kluge, Matt Leinhauser, Richard Pausch, Klaus Steiniger, Jan Stephan, René Widera, Jeff Young 0001, Michael Bussmann, Sunita Chandrasekaran, Guido Juckeland Challenges Porting a C++ Template-Metaprogramming Abstraction Layer to Directive-Based Offloading. Search on Bibsonomy WACCPD@SC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
21James Koppel Meta-metaprogramming. Search on Bibsonomy 2021   RDF
21Alexis Pereda Application de la métaprogrammation template à la conception de bibliothèques actives de parallélisation assistée. (Using template metaprogramming to design active libraries for assisted parallelisation). Search on Bibsonomy 2021   RDF
21Alexandre Bardakoff Analysis and Execution of a Data-Flow Graph Explicit Model Using Static Metaprogramming. (Analyse et exécution d'un modèle explicite de graphe de flux de données par métaprogrammation statique). Search on Bibsonomy 2021   RDF
21Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
21Denis Demidov, Lin Mu, Bin Wang Accelerating linear solvers for large-scale Stokes problems with C++ metaprogramming. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
21Yannis Lilis, Anthony Savidis A Survey of Metaprogramming Languages. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Fellipe A. Ugliara, Gustavo M. D. Vieira, José de Oliveira Guimarães Transparent replication using metaprogramming in Cyan. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross G. Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark W. Barrett, Pat Hanrahan fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components. Search on Bibsonomy CAV (1) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Rodin T. A. Aarssen, Tijs van der Storm High-fidelity metaprogramming with separator syntax trees. Search on Bibsonomy PEPM@POPL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, Martin Odersky Semantics-preserving inlining for metaprogramming. Search on Bibsonomy SCALA@SPLASH The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Brigitte Pientka A Modal Analysis of Metaprogramming, Revisited (Invited Talk). Search on Bibsonomy FSCD The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Shadaj Laddad, Koushik Sen Fluid quotes: metaprogramming across abstraction boundaries with dependent types. Search on Bibsonomy GPCE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
21Lionel Parreaux Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages. Search on Bibsonomy 2020   DOI  RDF
21Yannis Lilis, Anthony Savidis Meta C++: an extension layer for multi-stage generative metaprogramming. Search on Bibsonomy J. Object Technol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Martin Lester 0001 Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Shivam Handa, Vikash Mansinghka 0001, Martin C. Rinard Compositional Inference Metaprogramming with Convergence Guarantees. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Matthew Amy Sized Types for low-level Quantum Metaprogramming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
21Ignacio Lagartos, Jose Manuel Redondo, Francisco Ortin Efficient runtime metaprogramming services for Java. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Kerry A. Seitz Jr., Theresa Foley, Serban D. Porumbescu, John D. Owens Staged metaprogramming for shader system development. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Matthew Amy Sized Types for Low-Level Quantum Metaprogramming. Search on Bibsonomy RC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Toni Mattis, Patrick Rein, Robert Hirschfeld Ambiguous, informal, and unsound: metaprogramming for naturalness. Search on Bibsonomy META@SPLASH The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Nataliya Osipova, Oleksandr Kyriukhin Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6. Search on Bibsonomy ICTERI The full citation details ... 2019 DBLP  BibTeX  RDF
21Alexis Pereda, David R. C. Hill, Claude Mazel, Bruno Bachelet Modeling Algorithmic Skeletons for Automatic Parallelization Using Template Metaprogramming. Search on Bibsonomy HPCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda Implementation of LMNtal Model Checkers: a Metaprogramming Approach. Search on Bibsonomy J. Object Technol. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Brice Videau, Kevin Pouget, Luigi Genovese, Thierry Deutsch, Dimitri Komatitsch, Frédéric Desprez, Jean-François Méhaut BOAST: A metaprogramming framework to produce portable and efficient computing kernels for HPC applications Search on Bibsonomy Int. J. High Perform. Comput. Appl. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Piotr Maciol, Kazimierz Michalik Application of Metaprogramming and Generic Programming in Multiscale Modeling. Search on Bibsonomy Comput. Sci. Eng. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus Dynamic Patch Generation for Null Pointer Exceptions using Metaprogramming. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
21Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
21Michael P. Papazoglou Metaprogramming Environment for Industry 4.0. Search on Bibsonomy ES The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Philipp S. Käsgen, Markus Weinhardt Using Template Metaprogramming for Hardware Description. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
21Paventhan Vivekanandan Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming. Search on Bibsonomy WFLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21David Pfander, Malte Brunn, Dirk Pflüger AutoTuneTMP: Auto-Tuning in C++ With Runtime Template Metaprogramming. Search on Bibsonomy IPDPS Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Hitoshi Murai, Mitsuhisa Sato, Masahiro Nakao, Jinpil Lee Metaprogramming Framework for Existing HPC Languages Based on the Omni Compiler Infrastructure. Search on Bibsonomy CANDAR Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Alexis Pereda, David R. C. Hill, Claude Mazel, Bruno Bachelet Static Loop Parallelization Decision Using Template Metaprogramming. Search on Bibsonomy HPCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Pedro Henrique Teixeira Costa, Edna Dias Canedo, Rodrigo Bonifácio On the Use of Metaprogramming and Domain Specific Languages: An Experience Report in the Logistics Domain. Search on Bibsonomy SBCARS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Gabriel Ebner, Sebastian Ullrich 0002, Jared Roesch, Jeremy Avigad, Leonardo de Moura 0001 A metaprogramming framework for formal verification. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Mikhail M. Krasnov, Marina E. Ladonkina Discontinuous Galerkin method on three-dimensional tetrahedral grids. The use of template metaprogramming of the C++ language. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Fellipe A. Ugliara, Gustavo M. D. Vieira, José de Oliveira Guimarães Transparent Replication Using Metaprogramming in Cyan. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 258 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license