Deep typechecking and refactoring

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2008, Pages 37-51

  Tatlock, Zachary ^a   Tucker, Chris ^a   Shuffelton, David ^a   Jhala, Ranjit ^a   Lerner, Sorin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Cross language refactoring; Cross language typechecking; Jpa query analysis

Indexed keywords

CROSS LANGUAGE REFACTORING; CROSS LANGUAGE TYPECHECKING; ERROR-PRONE; JAVA CODES; JPA QUERY ANALYSIS; LARGE SOFTWARE SYSTEMS; LINES OF CODES; MULTIPLE LAYERS; QUERY STRINGS; REFACTORINGS;

APPLICATION PROGRAMMING INTERFACES (API); BENCHMARKING; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; INFORMATION THEORY; LINGUISTICS; QUERY LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 78650423472     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449764.1449768     Document Type: Conference Paper

References (24)

1. MALCOLM P. ATKINSON, LAURENT DAYNÈS, MICK J. JORDAN, TONY PRINTEZIS, AND SUSAN SPENCE. AN ORTHOGONALLY PERSISTENT JAVA. SIGMOD RECORD, 25(4):68-75, 1996.
2. GAVIN M. BIERMAN, ERIK MEIJER, AND MADS TORGERSEN. LOST IN TRANSLATION: FORMALIZING PROPOSED EXTENSIONS TO C#. IN OOPSLA, PAGES 479-498, 2007.
3. ASKE SIMON CHRISTENSEN, ANDERS M0LLER, AND MICHAEL I. SCHWARTZBACH. PRECISE ANALYSIS OF STRING EXPRESSIONS. IN SAS, PAGES 1-18,2003.
4. WILLIAM R. COOK AND SIDDHARTHA RAI. SAFE QUERY OBJECTS: STATICALLY TYPED OBJECTS AS REMOTELY EXECUTABLE QUERIES. IN ICSE, PAGES 97-106, 2005.
5. EZRA COOPER, SAM LINDLEY, PHILIP WADLER, AND JEREMY YALLOP. LINKS: WEB PROGRAMMING WITHOUT TIERS. IN FMCO, LNCS 4709. SPRINGER, 2006.
6. JACQUES-ANTOINE DUB, RICK SAPIR, AND PETER PURICH. ORACLE APPLICATION SERVER TOPLINK APPLICATION DEVELOPERS GUIDE,1LG (9.0.4). ORACLE CORPORATION, 2003.
7. MICHAEL FURR AND JEFFREY S. FOSTER. CHECKING TYPE SAFETY OF FOREIGN FUNCTION CALLS. IN PLDI, PAGES 62-72, 2005.
8. G. HAMILTON AND R. CATTELL. JDBC: A JAVA SQL API. SUN MICROSYSTEMS, 1997.
9. HIBERNATE REFERENCE DOCUMENTATION, MAY 2005. HTTP://WWW.HIBERNATE.ORG/ HIB-DOCS/V3/REFERENCE/EN/HTML.
10. JAVA PERSISTENCE API FAQ. HTTP://JAVA.SUN.COM/JAVAEE/OVERVIEW/FAQ/ PERSISTENCE.JSP.
11. GLASSFLSH IMPLEMENTATION OF THE JAVA PERSISTENCE API. HTTPS://GLASSFISH.DEV.JAVA.NET/DOWNLOADS/PERSISTENCE/JAVAPERSISTENCE.HTML.
12. BARBARA LISKOV, ATUL ADYA, MIGUEL CASTRO, MARK DAY, SANJAY GHEMAWAT, ROBERT GRUBER, UMESH MAHESHWARI, ANDREW C. MYERS, AND LIUBA SHRIRA. SAFE AND EFFICIENT SHARING OF PERSISTENT OBJECTS IN THOR. IN SIGMOD CONFERENCE, PAGES 318-329, 1996.
13. DAVID MAIER. REPRESENTING DATABASE PROGRAMS AS OBJECTS. IN M. ATKINSON, EDITOR, ADVANCES IN DATABASE PROGRAMMING LANGUAGES, PAGES 377-386. SPRINGER, 1990.
14. V. MATENA AND M. HAPNER. ENTERPRISE JAVA BEENS SPECIFICATION 1.0. SUN MICROSYSTEMS, 1998.
15. F. MATTHES, G. SCHRODER, AND J. SCHMIDT. TYCOON: A SCALABLE AND INTEROPERABLE PERSISTENT SYSTEM ENVIRONMENT. IN M. ATKINSON, EDITOR, FULLY INTEGRATED DATA ENVIRONMENTS, LNCS. SPRINGER-VERLAG, 1995.
16. RUSSELL A. MCCLURE AND INGOLF H. KRIIGER. SQL DOM: COMPILE TIME CHECKING OF DYNAMIC SQL STATEMENTS. IN ICSE, PAGES 88-96, 2005.
17. C.RUSSELL. JAVA DATA OBJECTS (JDO) SPECIFICATION JSR-12. SUN MICROSYSTEMS, 2003.
18. JOACHIM W. SCHMIDT AND FLORIAN MATTHES. THE DBPL PROJECT: ADVANCES IN MODULAR DATABASE PROGRAMMING. INF. SYST., 19(2):121-140, 1994.
19. GANG TAN AND GREG MORRISETT. ILEA: INTER-LANGUAGE ANALYSIS ACROSS JAVA AND C. IN OOPSLA, PAGES 39-56, 2007.
20. MURALI VENKATRAO AND MICHAEL PIZZO. SQL/CLI - A NEW BINDING STYLE FOR SQL. SIGMOD RECORD, 24(4):72-77, 1995.
21. GARY WASSERMANN, CARL GOULD, ZHENDONG SU, AND PREMKUMAR T. DEVANBU. STATIC CHECKING OF DYNAMICALLY GENERATED QUERIES IN DATABASE APPLICATIONS. ACM TRANS. SOFTW. ENG. METHODOL., 16(4), 2007.
22. BEN WIEDERMANN AND WILLIAM R. COOK. EXTRACTING QUERIES BY STATIC ANALYSIS OF TRANSPARENT PERSISTENCE. IN POPL, PAGES 199-210, 2007.
23. DARREN WILLIS, DAVID J. PEARCE, AND JAMES NOBLE. EFFICIENT OBJECT QUERYING FOR JAVA. IN ECOOP, PAGES 28-49, 2006.
24. LIMSOON WONG. KLEISLI: A FUNCTIONAL QUERY SYSTEM. J. FUNCT. PROGRAM., 10(1):19-56, 2000.