Sciweavers

4 search results - page 1 / 1
» cJ: enhancing java with safe type conditions
Sort
View
AOSD
2007
ACM
13 years 9 months ago
cJ: enhancing java with safe type conditions
Shan Shan Huang, David Zook, Yannis Smaragdakis
GPCE
2005
Springer
13 years 10 months ago
Statically Safe Program Generation with SafeGen
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...
Shan Shan Huang, David Zook, Yannis Smaragdakis
ECOOP
2000
Springer
13 years 9 months ago
Runtime Support for Type-Safe Dynamic Java Classes
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
Scott Malabarba, Raju Pandey, Jeff Gragg, Earl T. ...
GPCE
2009
Springer
13 years 3 months ago
Generating safe template languages
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...