|
|
Venues (Conferences, Journals, ...)
|
|
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 |
188 | Ronald Garcia, Andrew Lumsdaine |
Toward foundations for type-reflective metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 25-34, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
semantics, c++, reflection, metaprogramming |
94 | Diomidis Spinellis |
Rational Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 25(1), pp. 78-79, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
85 | Todd L. Veldhuizen |
Tradeoffs in metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006, pp. 150-159, 2006, ACM, 1-59593-196-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
program generators, metaprogramming, metalanguages |
80 | Christoph 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](Pics/bibsonomy.png) |
Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond ![In: Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
80 | Christoph 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](Pics/bibsonomy.png) |
Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond ![In: Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
80 | Tristan Cazenave |
Metaprogramming Domain Specific Metaprograms. ![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. 235-249, 1999, Springer, 3-540-66280-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
80 | James R. Cordy, Medha Shukla |
Practical metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, November 9-12, 1992, Toronto, Ontario, Canada, 2 Volumes, pp. 215-224, 1992, IBM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
79 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Domain-specific languages and program generation with meta-AspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 18(2), pp. 6:1-6:32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
program transformation, program verification, domain-specific languages, program synthesis, language extensions, Metaprogramming |
75 | Salvador Trujillo, Maider Azanza, Oscar Díaz |
Generative metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings, pp. 105-114, 2007, ACM, 978-1-59593-855-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
feature oriented model-driven development, generative metaprogramming, software product lines, generative programming, metaprogramming |
70 | Adam Chlipala |
Ur: statically-typed metaprogramming with type-level record computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 122-133, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dependent types, metaprogramming |
65 | Ritu Arora, Yu Sun 0002, Zekai Demirezen, Jeff Gray 0001 |
Profiler instrumentation using metaprogramming techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 429-434, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
65 | Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott |
Metaprogramming Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
All About Maude ![In: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, pp. 459-483, 2007, Springer, 978-3-540-71940-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Christoph 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](Pics/bibsonomy.png) |
Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
59 | Christoph W. Kessler, Welf Löwe, David A. Padua, Markus Püschel |
Program Composition and Optimization: An Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond ![In: Program Composition and Optimization: Autotuning, Scheduling, Metaprogramming and Beyond, 09.05. - 12.05.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
55 | Hyun Cho |
Using metaprogramming to implement a testing framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009, 2009, ACM, 978-1-60558-421-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transformation, metaprogramming, testing framework |
55 | Najaf Ali Shah, Anthony Skjellum |
A metaprogramming approach to generating optimized code for algorithms in linear algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference (1) ![In: Proceedings of the 43nd Annual Southeast Regional Conference, 2005, Kennesaw, Georgia, USA, March 18-20, 2005, Volume 1, pp. 157-158, 2005, ACM, 1-59593-059-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
optimization, code generator, linear algebra, PHP, metaprogramming |
50 | Bill Donkervoet, Gul Agha |
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, pp. 246-265, 2006, Springer, 978-3-540-74791-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Zoltán Porkoláb, József Mihalicza, Ádám Sipos |
Debugging C++ template metaprograms. ![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. 255-264, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
template metaprogramming, C++, debugging |
49 | Gilad Bracha, David M. Ungar |
Mirrors: design principles for meta-level facilities of object-oriented programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 331-344, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
java, reflection, smalltalk, metaprogramming, mirrors, self |
49 | Michael Leuschel |
Homeomorphic Embedding for Online Termination of Symbolic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Essence of Computation ![In: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday], pp. 379-403, 2002, Springer, 3-540-00326-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders |
49 | Paul Tarau, Verónica Dahl, Koenraad De Bosschere |
A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 6th Workshop on Enabling Technologies (WET-ICE '97), Infrastructure for Collaborative Enterprises, 18-20 June 1997, MIT, Cambridge, MA, USA, Proceedings, pp. 106-112, 1997, IEEE Computer Society, 0-8186-7967-0. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Stefano Benedettini, Andrea Roli, Luca Di Gaspero |
EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLS ![In: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings, pp. 135-139, 2009, Springer, 978-3-642-03750-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | John H. Reppy, Aaron Turon |
Metaprogramming with Traits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, pp. 373-398, 2007, Springer, 978-3-540-73588-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Zoltán Porkoláb, István Zólyomi |
A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming. ![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. 459-470, 2005, Springer, 3-540-45778-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Jernej Kovse, Christian Weber 0002, Theo Härder |
Metaprogramming for Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings, pp. 654-667, 2004, Springer, 3-540-23723-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Istvá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](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, pp. 209-227, 2003, Springer, 3-540-20102-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Gergely Kis, József Orosz, Márton Pintér, Zoltán László, Thomas Genssler |
Metaprogramming Library for the C# Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JMLC ![In: Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings, pp. 266-269, 2003, Springer, 3-540-40796-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Jason Baker, Wilson C. Hsieh |
Runtime aspect weaving through metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 1st International Conference on Aspect-Oriented Software Development, AOSD 2002, University of Twente, Enschede, The Netherlands, April 22-26, 2002, pp. 86-95, 2002, ACM, 1-58113-469-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java |
35 | Giuseppe Attardi, Antonio Cisternino |
Template Metaprogramming an Object Interface to Relational Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reflection ![In: Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings, pp. 266-267, 2001, Springer, 3-540-42618-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Andreas Ludwig, Dirk Heuzeroth |
Metaprogramming in the Large. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCSE ![In: Generative and Component-Based Software Engineering, Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000, Revised Papers, pp. 178-187, 2000, Springer, 3-540-42578-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Paul Tarau, Arun K. Majumdar |
Interoperating Logic Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 137-151, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs |
35 | H. Conrad Cunningham |
A little language for surveys: constructing an internal DSL in Ruby. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 282-287, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reflexive metaprogramming, domain specific language, Ruby |
35 | Paul Tarau |
Logic Engines as Interactors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 703-707, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
generalized iterators, logic engines, agent oriented programming language constructs, metaprogramming |
35 | Tiago Stein D'Agostini, Antônio Augusto Fröhlich |
Bridging AOP to SMP: turning GCC into a metalanguage preprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1563-1564, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
aspects, metaprogramming |
35 | Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy |
CodeBricks: code fragments as building blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003, pp. 66-74, 2003, ACM, 1-58113-667-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multistage programming, program transformation, reflection, domain specific language, generative programming, program generation, metaprogramming |
35 | Robertas Damasevicius, Giedrius Majauskas, Vytautas Stuikys |
Application of design patterns for hardware design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 48-53, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
system-level design processes, UML, design patterns, metaprogramming, wrapping |
35 | Kim Mens, Tom Mens, Michel Wermelinger |
Maintaining software through intentional source-code views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 289-296, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
logic metaprogramming, modularisation, software maintenance and evolution, crosscutting concerns, validation and verification |
35 | Paul Tarau, Verónica Dahl |
Towards a Logic Programming Infrastructure for Internet Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence Today ![In: Artificial Intelligence Today: Recent Trends and Developments, pp. 431-457, 1999, Springer, 3-540-66428-9. The full citation details ...](Pics/full.jpeg) |
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 |
35 | Omer 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](Pics/bibsonomy.png) |
GCSE ![In: Generative and Component-Based Software Engineering, First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999, Revised Papers, pp. 210-224, 1999, Springer, 3-540-41172-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Component Interface/Re-use, Metaprogramming Systems, Parallel Computing, Component-Based Development, Application Generators |
35 | Yoheved Dotan, Benjamin Arazi |
Using Flat Concurrent Prolog in System Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 493-512, 1991. The full citation details ...](Pics/full.jpeg) |
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 |
29 | Charlotte Herzeel, Pascal Costanza, Theo D'Hondt |
Reflection for the Masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S3 ![In: Self-Sustaining Systems, First Workshop, S3 2008, Potsdam, Germany, May 15-16, 2008, Revised Selected Papers, pp. 87-122, 2008, Springer, 978-3-540-89274-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Don S. Batory |
Program Refactoring, Program Synthesis, and Model-Driven Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings, pp. 156-171, 2007, Springer, 978-3-540-71228-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Robert Glück, John Hatcliff, Jesper Jørgensen |
Generalization in Hierarchies of Online Program Specialization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 179-198, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Thom W. Frühwirth |
Type inference by program transformation and partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA, pp. 347-354, 1988, IEEE Computer Society, 0-8186-0874-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Oleg Kiselyov |
Generating C: Heterogeneous metaprogramming system description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 231, pp. 103015, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Flavio De Vincenti, Stelian Coros |
Ungar - A C++ Framework for Real-Time Optimal Control Using Template Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.06783, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Flavio De Vincenti, Stelian Coros |
Ungar - A C++ Framework for Real-Time Optimal Control Using Template Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IROS, pp. 6297-6303, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Michael Ball 0001, Dan Garcia 0001, Yuan Garcia |
Snap! 8 - Smart Script Pics and Metaprogramming for All! ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE (2) ![In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, SIGCSE 2023, Toronto, ON, Canada, March 15-18, 2023., pp. 1260, 2023, ACM, 978-1-4503-9433-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | David Shilane |
A Metaprogramming Algorithm to Simplify the Coding Syntax of Data Analysis Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UEMCON ![In: 14th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference, UEMCON 2023, New York, NY, USA, October 12-14, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-0413-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Athanasios Xynos, Vasileios Tenentes |
MetaSPICE: Metaprogramming SPICE Framework for the Design Space Exploration of PUF Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOCAST ![In: 12th International Conference on Modern Circuits and Systems Technologies, MOCAST 2023, Athens, Greece, June 28-30, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2107-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Junyoung 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](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-27, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Krzysztof Kaczmarski, Jakub Narebski, Stanislaw Piotrowski, Piotr Przymus |
Fast JSON parser using metaprogramming on GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSAA ![In: 9th IEEE International Conference on Data Science and Advanced Analytics, DSAA 2022, Shenzhen, China, October 13-16, 2022, pp. 1-10, 2022, IEEE, 978-1-6654-7330-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Hiroyuki Takizawa, Shinji Shiotsuki, Naoki Ebata, Ryusuke Egawa |
OpenCL-like offloading with metaprogramming for SX-Aurora TSUBASA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 102, pp. 102754, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Jeffrey 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.08650, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Junyoung 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.08099, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Denis Demidov, Lin Mu, Bin Wang |
Accelerating linear solvers for Stokes problems with C++ metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. ![In: J. Comput. Sci. 49, pp. 101285, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Grzegorz Rybak, Krzysztof Strzecha |
Short-Time Fourier Transform Based on Metaprogramming and the Stockham Optimization Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(12), pp. 4123, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Stucki, Jonathan Immanuel Brachthäuser, Martin Odersky |
Virtual ADTs for portable metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPLR ![In: MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, Münster, Germany, September 29-30, 2021, pp. 36-44, 2021, ACM, 978-1-4503-8675-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Mahshid Shahmohammadian, Geoffrey Mainland |
Metaprogramming with combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021, pp. 43-54, 2021, ACM, 978-1-4503-9112-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Yuyan 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](Pics/bibsonomy.png) |
GPCE ![In: GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17 - 18, 2021, pp. 130-143, 2021, ACM, 978-1-4503-9112-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Riemer van Rozen, Youri Reijne, Clement Julia, Georgia Samaritaki |
First-Person Realtime Collaborative Metaprogramming Adventures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIDE Workshops ![In: Joint Proceedings of the AIIDE 2021 Workshops co-located with 17th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2021)(AAAI 2021), Virtual Event, Lexington, KY, USA, October 11-12, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Jeffrey 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](Pics/bibsonomy.png) |
WACCPD@SC ![In: Accelerator Programming Using Directives - 8th International Workshop, WACCPD@SC 2021, Virtual Event, November 14, 2021, Proceedings, pp. 92-111, 2021, Springer, 978-3-030-97758-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | James Koppel |
Meta-metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
21 | Alexis 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](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
21 | Alexandre 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](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
21 | Lenny 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.11669, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Denis Demidov, Lin Mu, Bin Wang |
Accelerating linear solvers for large-scale Stokes problems with C++ metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.06052, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Yannis Lilis, Anthony Savidis |
A Survey of Metaprogramming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 52(6), pp. 113:1-113:39, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Fellipe A. Ugliara, Gustavo M. D. Vieira, José de Oliveira Guimarães |
Transparent replication using metaprogramming in Cyan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 200, pp. 102531, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Lenny 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](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, pp. 403-414, 2020, Springer, 978-3-030-53287-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Rodin T. A. Aarssen, Tijs van der Storm |
High-fidelity metaprogramming with separator syntax trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM@POPL ![In: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020, pp. 27-37, 2020, ACM, 978-1-4503-7096-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, Martin Odersky |
Semantics-preserving inlining for metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCALA@SPLASH ![In: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, pp. 14-24, 2020, ACM, 978-1-4503-8177-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Brigitte Pientka |
A Modal Analysis of Metaprogramming, Revisited (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 2:1-2:3, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Shadaj Laddad, Koushik Sen |
Fluid quotes: metaprogramming across abstraction boundaries with dependent types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Virtual Event, USA, November 16-17, 2020., pp. 98-110, 2020, ACM, 978-1-4503-8174-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Lionel Parreaux |
Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
DOI RDF |
|
21 | Yannis Lilis, Anthony Savidis |
Meta C++: an extension layer for multi-stage generative metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 18(1), pp. 1:1-44, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Martin Lester 0001 |
Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.03217, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Shivam Handa, Vikash Mansinghka 0001, Martin C. Rinard |
Compositional Inference Metaprogramming with Convergence Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.05451, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Matthew Amy |
Sized Types for low-level Quantum Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.02644, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Ignacio Lagartos, Jose Manuel Redondo, Francisco Ortin |
Efficient runtime metaprogramming services for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 153, pp. 220-237, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Kerry A. Seitz Jr., Theresa Foley, Serban D. Porumbescu, John D. Owens |
Staged metaprogramming for shader system development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 38(6), pp. 202:1-202:15, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Matthew Amy |
Sized Types for Low-Level Quantum Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings, pp. 87-107, 2019, Springer, 978-3-030-21499-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Toni Mattis, Patrick Rein, Robert Hirschfeld |
Ambiguous, informal, and unsound: metaprogramming for naturalness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META@SPLASH ![In: Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2019, Athens, Greece, October 20, 2019, pp. 1-10, 2019, ACM, 978-1-4503-6985-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Nataliya Osipova, Oleksandr Kyriukhin |
Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI ![In: Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume I: Main Conference, Kherson, Ukraine, June 12-15, 2019., pp. 111-126, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Alexis Pereda, David R. C. Hill, Claude Mazel, Bruno Bachelet |
Modeling Algorithmic Skeletons for Automatic Parallelization Using Template Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 17th International Conference on High Performance Computing & Simulation, HPCS 2019, Dublin, Ireland, July 15-19, 2019, pp. 265-272, 2019, IEEE, 978-1-7281-4484-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda |
Implementation of LMNtal Model Checkers: a Metaprogramming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 17(1), pp. 1:1-28, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Brice 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](Pics/bibsonomy.png) |
Int. J. High Perform. Comput. Appl. ![In: Int. J. High Perform. Comput. Appl. 32(1), pp. 28-44, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Piotr Maciol, Kazimierz Michalik |
Application of Metaprogramming and Generic Programming in Multiscale Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Eng. ![In: Comput. Sci. Eng. 20(6), pp. 81-94, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus |
Dynamic Patch Generation for Null Pointer Exceptions using Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.00409, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Guido 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](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.06547, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Michael P. Papazoglou |
Metaprogramming Environment for Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ES ![In: Sixth International Conference on Enterprise Systems, ES 2018, Limassol, Cyprus, October 1-2, 2018, pp. 1-8, 2018, IEEE, 978-1-5386-8388-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Philipp S. Käsgen, Markus Weinhardt |
Using Template Metaprogramming for Hardware Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018., 2018, Universität Tübingen, 978-3-00-059317-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Paventhan Vivekanandan |
Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 18-35, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | David Pfander, Malte Brunn, Dirk Pflüger |
AutoTuneTMP: Auto-Tuning in C++ With Runtime Template Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2018, Vancouver, BC, Canada, May 21-25, 2018, pp. 1123-1132, 2018, IEEE Computer Society, 978-1-5386-5555-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Hitoshi Murai, Mitsuhisa Sato, Masahiro Nakao, Jinpil Lee |
Metaprogramming Framework for Existing HPC Languages Based on the Omni Compiler Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR Workshops ![In: Sixth International Symposium on Computing and Networking, CANDAR Workshops 2018, Takayama, Japan, November 27-30, 2018, pp. 250-256, 2018, IEEE Computer Society, 978-1-5386-9184-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Alexis Pereda, David R. C. Hill, Claude Mazel, Bruno Bachelet |
Static Loop Parallelization Decision Using Template Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018, pp. 1015-1021, 2018, IEEE, 978-1-5386-7878-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Pedro 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](Pics/bibsonomy.png) |
SBCARS ![In: Proceedings of the VII Brazilian Symposium on Software Components, Architectures, and Reuse, SBCARS 2018, Sao Carlos, Brazil, September 17-21, 2018, pp. 102-111, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Gabriel Ebner, Sebastian Ullrich 0002, Jared Roesch, Jeremy Avigad, Leonardo de Moura 0001 |
A metaprogramming framework for formal verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(ICFP), pp. 34:1-34:29, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Mikhail 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](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 43(3), pp. 172-183, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Fellipe A. Ugliara, Gustavo M. D. Vieira, José de Oliveira Guimarães |
Transparent Replication Using Metaprogramming in Cyan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.07623, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 258 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|