Experiences with an object-oriented, multi-stage language

Authors:
Gregory Neverov;Paul Roe
Affiliations:
School of Software Engineering and Data Communications, Queensland University of Technology, Brisbane, Australia;School of Software Engineering and Data Communications, Queensland University of Technology, Brisbane, Australia
Venue:
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Year:
2006

Citing 12
Cited 1

Multi-stage programming with explicit annotations

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Environment classifiers

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Jumbo: run-time code generation for Java and its applications

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
Automatic program specialization for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
JTS: Tools for Implementing Domain-Specific Languages

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
MetaML and Multi-Stage Programming with Explicit Annotations

MetaML and Multi-Stage Programming with Explicit Annotations
Multistage programming: its theory and applications

Multistage programming: its theory and applications
Implementing multi-stage languages using ASTs, Gensym, and reflection

Proceedings of the 2nd international conference on Generative programming and component engineering
Closed types for a safe imperative MetaML

Journal of Functional Programming
MetaKlaim: a type safe multi-stage language for global computing

Mathematical Structures in Computer Science
A monadic approach for avoiding code duplication when staging memoized functions

Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
MetaOCaml server pages: web publishing as staged computation

Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Metaphor is a multi-stage programming language extension to an imperative, object-oriented language in the style of C# or Java. This paper discusses some issues we faced when applying multi-stage language design concepts to an imperative base language and run-time environment. The issues range from dealing with pervasive references and open code to garbage collection and implementing cross-stage persistence.