Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
An Automatic Program Generator for Multi-Level Specialization
Lisp and Symbolic Computation
An evaluation of staged run-time optimizations in DyC
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
DyC: an expressive annotation-directed dynamic compiler for C
Theoretical Computer Science - Partial evaluation and semantics-based program manipulation
Fast Binding-Time Analysis for Multi-Level Specialization
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Search-based binding time analysis using type-directed pruning
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
A rule-based language for programming software updates
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Meta-programming with names and necessity
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Template meta-programming for Haskell
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Template meta-programming for Haskell
ACM SIGPLAN Notices
A rule-based language for programming software updates
ACM SIGPLAN Notices
Control Localization in Domain Specific Translation
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
FreshML: programming with binders made simple
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Making patterns explicit with metaprogramming
Proceedings of the 2nd international conference on Generative programming and component engineering
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science
A New Architecture for Transformation-Based Generators
IEEE Transactions on Software Engineering
Model Reuse through Hardware Design Patterns
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Software reuse for scientific computing through program generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
On termination of meta-programs
Theory and Practice of Logic Programming
Staged computation with names and necessity
Journal of Functional Programming
An environment for maintaining computation dependency in XML documents
Proceedings of the 2005 ACM symposium on Document engineering
Generic programming in Fortran
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A reflective functional language for hardware design and theorem proving
Journal of Functional Programming
MetaOCaml server pages: web publishing as staged computation
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
A multi-stage language with intensional analysis
Proceedings of the 5th international conference on Generative programming and component engineering
Component-based end-user database design for ecologists
Journal of Intelligent Information Systems
Repleo: a syntax-safe template engine
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Parametric fortran: program generation in scientific computing
Journal of Software Maintenance and Evolution: Research and Practice
Domain specific language implementation via compile-time meta-programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Technological Aspects of Generative Learning Object Development
ISSEP '08 Proceedings of the 3rd international conference on Informatics in Secondary Schools - Evolution and Perspectives: Informatics Education - Supporting Computational Thinking
Functional Meta-programming for Parallel Skeletons
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part I
Model-Centric, Context-Aware Software Adaptation
Software Engineering for Self-Adaptive Systems
Abstract parsing for two-staged languages with concatenation
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Why Smalltalk wins the host languages shootout
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
A monadic multi-stage metalanguage
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
ESOP'03 Proceedings of the 12th European conference on Programming
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
MetaFJig: a meta-circular composition language for Java-like classes
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Embedding languages without breaking tools
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
A type system for reflective program generators
Science of Computer Programming
Less is more: unparser-completeness of metalanguages for template engines
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Backstage Java: making a difference in metaprogramming
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Program generation and components
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Highway: a domain specific language for enterprise application integration
Proceedings of the 5th India Software Engineering Conference
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Supporting compile-time debugging and precise error reporting in meta-programs
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Hi-index | 0.00 |