Multi-Stage Imperative Languages: a Conservative Extension Result

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1924, Issue , 2000, Pages 92-107

  Calcagno, Cristiano ^a   Moggi, Eugenio ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; SEMANTICS;

CONSERVATIVE EXTENSIONS; IMPERATIVE LANGUAGES; MULTI STAGE; MULTI-STAGE PROGRAMMING; TYPE SYSTEMS;

APPLICATION PROGRAMS;

EID: 84876622904     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45350-4_9     Document Type: Conference Paper

References (15)

1. Zine El-Abidine Benaissa Explicit Substitution Calculi as a Foundation of Functional Programming Languages Implementations PhD thesis, INRIA, 1997.
2. Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, and Tim Sheard. Logical modalities and multi-stage programming. In Federated Logic Con-ference (FLoC) Satellite Workshop on Intuitionistic Modal Logics and Ap-plications (IMLA), July 1999.
3. Dominique Clement, Joelle Despeyroux, Thierry Despeyroux, and Gilles Kahn. A simple applicative language: Mini-ML. In Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, pages 13-27. ACM, ACM, August 1986.
4. Cristiano Calcagno, Eugenio Moggi, Walid Taha. Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming. In Proceedings of ICALP 2000, volume 1853 of LNCS, pages 25-36, Springer, 2000.
5. Rowan Davies. A temporal-logic approach to binding-time analysis. In Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, pages 184-195, New Brunswick, July 1996. IEEE Computer Society Press
6. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In 23rd Annual ACM Symposium on Principles of Programming Languages (POPL'96), pages 258-270, St. Petersburg Beach, January 1996.
7. Jean-Jacques Levy and Luc Maranget. Explicit Substitutions and Program- ming Languages. In 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai, India, December 1999.
8. The MetaML Home Page, 2000. Provides source code and documentation online at http://www.cse.ogi.edu/PacSoft/projects/metaml/index.html.
9. Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa, and Tim Sheard. An idealized MetaML: Simpler, and more expressive. In European Sympo-sium on Programming (ESOP), volume 1576 of Lecture Notes in Computer Science, pages 193-207. Springer-Verlag, 1999.
10. Walid Taha. Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology, July 1999.
11. Walid Taha, Zine-El-Abidine Benaissa, and Tim Sheard. Multi-stage pro-gramming: Axiomatization and type-safety. In 25th International Collo-quium on Automata, Languages, and Programming, volume 1443 of Lecture Notes in Computer Science, pages 918-929, Aalborg, July 1998.
12. Walid Taha and Tim Sheard. Multi-stage programming with explicit an-notations. In Proceedings of the ACM-SIGPLAN Symposium on Partial Evaluation and semantic based program manipulations PEPM'97, Amster-dam, pages 203-217. ACM, 1997.
13. Walid Taha and Tim Sheard. MetaML: Multi-stage programming with explicit annotations. Theoretical Computer Science, 248(1-2), 2000.
14. Mitchell W and Igor Siveroni. Constraint Systems for Useless Variable Elim-ination. In Proceedings of 26th ACM Symposium on Principles of Program-ming Languages (POPL), pages 291-302, 1999.
15. Andrew K. Wright and Matthias Felleisen. A Syntactic Approach to Type Soundness. Information and Computation, 115(1):38-94, 1994.