A type system for reflective program generators

DOI10.1016/J.SCICO.2010.12.002MaRDI QIDQ532406zbMATH OpenOpenAlexFDO

Authors Christof Lutteroth, Dirk Draheim, G. Weber

Publication date 4 May 2011

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2010.12.002

zbMATH Keywords

reflectiongeneric programmingmodel-based generationtype safety

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Statically safe program generation with SafeGen
• Static Analysis
• Generative type abstraction and type-level computation
• Refined environment classifiers. Type- and scope-safe code generation with mutable cells
• Closed types for a safe imperative MetaML

Cites work

• scientific article; zbMATH DE number 1728246 (Why is no real title available?)
• scientific article; zbMATH DE number 2129114 (Why is no real title available?)
• scientific article; zbMATH DE number 1006119 (Why is no real title available?)
• scientific article; zbMATH DE number 2033540 (Why is no real title available?)
• scientific article; zbMATH DE number 2036328 (Why is no real title available?)
• scientific article; zbMATH DE number 2040580 (Why is no real title available?)
• A type system for reflective program generators
• Cayenne -- a language with dependent types
• Experiences with an object-oriented, multi-stage language
• Finite Differencing of Computable Expressions
• Generic Haskell: applications.
• Generic Programming
• MetaML and multi-stage programming with explicit annotations
• Statically safe program generation with SafeGen
• Types and programing languages

Cited in

(6)

• scientific article; zbMATH DE number 785045 (Why is no real title available?)
• Refined environment classifiers. Type- and scope-safe code generation with mutable cells
• Generative type abstraction and type-level computation
• Statically safe program generation with SafeGen
• A design for type-directed programming in Java
• A type system for reflective program generators

Describes a project that uses

Uses Software

• SafeGen
• AspectJ
• OCaml
• Metaphor
• Cayenne

This page was built for publication: A type system for reflective program generators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q532406)