Statically safe program generation with SafeGen

DOI10.1016/J.SCICO.2008.09.007zbMATH Open1215.68054OpenAlexW2013770653MaRDI QIDQ532402FDOQ532402

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal languages and bounded fragments of predicate logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• MetaML and multi-stage programming with explicit annotations
• Tagless staged interpreters for typed languages
• A type system for reflective program generators

Cited In (5)

• Formalising Java RMI with explicit code mobility
• A type system for reflective program generators
• Title not available (Why is that?)
• SafeGen
• Static Analysis

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)