Statically safe program generation with SafeGen

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3676 LNCS, Issue , 2005, Pages 309-326

  Huang, Shan Shan ^a   Zook, David ^a   Smaragdakis, Yannis ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FORMAL LOGIC; JAVA PROGRAMMING LANGUAGE; PROGRAM COMPILERS; SECURITY OF DATA;

BUGS; FIRST-ORDER LOGICAL SENTENCES; SAFEGEN COMPILER;

METADATA;

EID: 33646143784     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11561347_21     Document Type: Conference Paper

References (18)

1. H. Andreka, J. van Benthem, and I. Nemeti. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217-274, 1998.
2. J. Bachrach and K. Playford. The Java syntactic extender (JSE). In Proceedings of the OOPSLA '01 conference on Object Oriented Programming Systems Languages and Applications, pages 31-42. ACM Press, 2001.
3. J. Baker and W. C. Hsieh. Maya: multiple-dispatch syntax extension in Java. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 270-281. ACM Press, 2002.
4. D. Batory, B. Lofaso, and Y. Smaragdakis. JTS: tools for implementing domainspecific languages. In Proceedings Fifth International Conference on Software Reuse, pages 143-153, Victoria, BC, Canada, 1998. IEEE.
5. D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. In Proceedings of the 25th International Conference on Software Engineering, pages 187-197. IEEE Computer Society, 2003.
6. A. Bryant, A. Catton, K. De Voider, and G. C. Murphy. Explicit programming. In Proceedings of the 1st international conference on A sped-Oriented Software Development, pages 10-18. ACM Press, 2002.
7. C. Calcagno, W. Taha, L. Huang, and X. Leroy. Implementing multi-stage languages using ASTs, gensym, and reflection. In Generative Programming and Component Engineering (GPCE) Conference, LNCS 2830, pages 57-76. Springer, 2003.
8. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Conference on Programming Language Design and Implementation (PLDI), pages 234-245. ACM Press, June 2002.
9. H. Ganzinger and H. de Nivelle. A superposition decision procedure for the guarded fragment with equality. In Logic in Computer Science conference (LICS), pages 295-304, 1999.
10. E. Pasalic, W. Taha, and T. Sheard. Tagless staged interpreters for typed languages. In International Conference on Functional Programming (ICFP), pages 218-229, New York, NY, USA, 2002. ACM Press.
11. T. Sheard and S. P. Jones. Template meta-programming for Haskell. In Proceedings of the ACM SIGPLAN workshop on Haskell, pages 1-16. ACM Press, 2002.
12. A. Stevens et al. XDoclet Web site, http://xdoclet.sourceforge.net/.
13. W. Taha and T. Sheard. Multi-stage programming with explicit annotations. In Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997, pages 203-217. New York: ACM, 1997.
14. E. Tilevich, S. Urbanski, Y. Smaragdakis, and M. Fleury. Aspectizing serverside distribution. In Proceedings of the Automated Software Engineering (ASE) Conference. IEEE Press, October 2003.
15. E. Visser. Meta-programming with concrete object syntax. In Generative Programming and Component Engineering (GPCE) Conference, LNCS 2487, pages 299-315. Springer, 2002.
16. C. Weidenbach. SPASS: Combining superposition, sorts and splitting. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier, 1999.
17. D. Weise and R. F. Crew. Programmable syntax macros. In SIGPLAN Conference on Programming Language Design and Implementation, pages 156-165, 1993.
18. D. Zook, S. S. Huang, and Y. Smaragdakis. Generating AspectJ programs with Meta-Aspect J. In Generative Programming and Component Engineering (GPCE) Conference, volume 3286 of Lecture Notes in Computer Science. Springer, Oct. 2004.