Statically safe program generation with SafeGen

DOI10.1016/J.SCICO.2008.09.007MaRDI QIDQ532402zbMATHOpenAlexFDO

Authors Shan Shan Huang, David Zook, Yannis Smaragdakis

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.2008.09.007

zbMATH Keywords

domain-specific languageslanguage extensionsmeta-programming

Mathematics Subject Classification ID

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

Recommendations

• Static Analysis
• A type system for reflective program generators
• MetaML and multi-stage programming with explicit annotations
• Certifying compilation and run-time code generation
• Program Logics for Homogeneous Meta-programming

Cites work

• scientific article; zbMATH DE number 1728246 (Why is no real title available?)
• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 2018596 (Why is no real title available?)
• scientific article; zbMATH DE number 2090305 (Why is no real title available?)
• A type system for reflective program generators
• MetaML and multi-stage programming with explicit annotations
• Modal languages and bounded fragments of predicate logic
• Tagless staged interpreters for typed languages

Cited in

(5)

• scientific article; zbMATH DE number 2100547 (Why is no real title available?)
• Formalising Java RMI with explicit code mobility
• SafeGen
• Static Analysis
• A type system for reflective program generators

Describes a project that uses

Uses Software

• SPASS
• AspectJ
• ESC/Java
• JBoss

This page was built for publication: Statically safe program generation with SafeGen

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