20 search results - page 1 / 4 » Statically Safe Program Generation with SafeGen |
GPCE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
GPCE
2009
Springer
13 years 2 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
PEPM
1999
ACM
13 years 9 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...