1715 search results - page 22 / 343 » Domain-Specific Program Checking |
LDTA
2010
13 years 6 months ago
2010
This paper investigates the suitability of contemporary DSL tools in the context of enterprise software development. The main focus is on integration issues between the DSL tool, ...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
ICALP
1997
Springer
14 years 27 days ago
1997
Springer
POS
1990
Springer
14 years 23 days ago
1990
Springer
GPCE
2005
Springer
14 years 2 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...