Lost in translation: Formalizing proposed extensions to C#

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

Volumn , Issue , 2007, Pages 479-497

  Bierman, Gavin M ^a   Meijer, Erik ^b   Torgersen, Mads ^b  

^a MICROSOFT RESEARCH   (United Kingdom)

^b MICROSOFT   (United States)

Author keywords

Languages; Theory

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; DATA PROCESSING; INFORMATION MANAGEMENT; INFORMATION THEORY; LINGUISTICS; MARKUP LANGUAGES; NEODYMIUM; PROJECT MANAGEMENT; QUERY LANGUAGES; XML;

DATA MODELLING; DATABASE QUERYING; IMPEDANCE MISMATCHES; INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); MICROSOFT CORPORATION (CO); NET FRAMEWORKS; OBJECT ORIENTED (OO); OBJECT-ORIENTED LANGUAGES; OBJECT-ORIENTED PROGRAMMING; OPTIMIZATION STRATEGIES; REAL WORLD; SEMANTIC FOUNDATIONS; SOFTWARE APPLICATIONS; XML DATA;

OBJECT ORIENTED PROGRAMMING;

EID: 42149103195     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297027.1297063     Document Type: Conference Paper

References (28)

1. A. Albano, G. Ghelli, and R. Orsini. Types for databases: the Galileo experience. In Proceedings of DBPL, 1989.
2. A. Albano, G. Ghelli, and R. Orsini. Fibonacci: A programming language for object databases. Journal of Very Large Data Bases, 4(3):403-444, 1995.
3. M.P. Atkinson and P. Buneman. Types and persistence in database programming languages. ACM Computing Surveys, 19(2):105-170, 1987.
4. M.P. Atkinson, L. Daynes, M.J. Jordan, T. Printezis, and S. Spence. An orthogonally persistent Java. SIGMOD Record, 25(4):68-75, 1996.
5. V Benzaken, G. Castagna, and A. Frisch. CDuce: An XML-centric general-purpose language. In Proceedings of ICFP, 2003.
6. # type inference. In Proceedings of FOOL, 2007.
7. G.M. Bierman, E. Meijer, and W. Schulte. The essence of data access in Cw. In Proceedings of ECOOP, 2005.
8. G.M. Bierman, M.J. Parkinson, and A.M. Pitts. MJ: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge, 2003.
9. J. A. Blakeley, D. Campbell, S. Muralidhar, and A. Nori. The ADO.NET entity framework: Making the conceptual level real. SIGMOD Record, 35(4):32-39, 2006.
10. W.R. Cook and A.H. Ibrahim. Programming languages and databases: What's the problem? Unpublished paper, 2005.
11. G. Copeland and D. Maier. Making Smalltalk a database system. In Proceedings of ACM SIGMOD, 1984.
12. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In Proceedings of POPL, 1998.
13. M. Harren, M. Raghavachari, O. Shmueli, M.G. Burke, R. Bordawekar, I. Pechtchanski, and V. Sarkar. XJ: Facilitating XML processing in Java. In Proceedings of WWW, 2005.
14. # Programming Language. Addison-Wesley, second edition, 2006.
15. H. Hosoya and B.C. Pierce. XDuce: A typed XML processing language. In Proceedings of WebDB, 2000.
16. A. Igarashi, B.C. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS, 23(3):396-450, 2001.
17. #. Concurrency and Computation, 16(7), 2004.
18. D. Leijen and E. Meijer. Domain Specific Embedded Compilers. In Proceedings of Conference on Domain-Specific Languages, 1999.
19. B. Liskov, A. Adya, M. Castro, S. Ghemawat, R. Gruber, U. Maheshwari, A.C. Myers, M. Day, and L. Shrira. Safe and efficient sharing of persistant objects in Thor. In Proceedings of SIGMOD, 1996.
20. D. Maier. Representing database programs as objects. In Proceedings of DBPL, 1987.
21. A. Marquez, S. Blackburn, G. Mercer, and J.N. Zigman. Implementing orthogonally persistent Java. In Proceedings of POS, 2000.
22. F. Matthes, S. Müßig, and J.W Schmidt. Persistent polymorphic programming in Tycoon: An introduction. Technical report, University of Glasgow, 1994.
23. R. Morrison, A.L. Brown, R.C.H. Connor, and A. Dearle. The Napier88 reference manual. Technical report, University of Glasgow, 1989.
24. N. Paton, R. Cooper, H. Williams, and P. Trinder. Database programming languages. Prentice Hall, 1996.
25. B.C. Pierce and D.N. Turner. Local type inference. In Proceedings of POPL, 1998.
26. J. Price. Java programming with Oracle SQLJ. O'Reilly, 2001.
27. D. Syme. Leveraging .NET meta-programming components from F#: Integrated queries and interoperable heterogeneous execution. In Proceedings of ML Workshop, 2006.
28. D. Yu, A. Kennedy, and D. Syme. Formalization of generics for the .NET common language runtime. In Proceedings of POPL, 2004.