Static checking of dynamically generated queries in database applications
- 28 September 2004
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- A family of test adequacy criteria for database-driven applicationsACM SIGSOFT Software Engineering Notes, 2003
- Projection mergingPublished by Association for Computing Machinery (ACM) ,2000
- A type system for dynamic Web documentsPublished by Association for Computing Machinery (ACM) ,2000
- Multi-stage programming with explicit annotationsPublished by Association for Computing Machinery (ACM) ,1997
- Interconvertbility of set constraints and context-free language reachabilityPublished by Association for Computing Machinery (ACM) ,1997
- Precise interprocedural dataflow analysis via graph reachabilityPublished by Association for Computing Machinery (ACM) ,1995
- Programmable syntax macrosPublished by Association for Computing Machinery (ACM) ,1993
- Speeding up dynamic transitive closure for bounded degree graphsActa Informatica, 1993
- Control flow analysis in schemePublished by Association for Computing Machinery (ACM) ,1988
- Hygienic macro expansionPublished by Association for Computing Machinery (ACM) ,1986