Lost in Translation: Formalizing Proposed Extensions to C (2007)
Cached
Download Links
| Venue: | In OOPSLA ’07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object |
| Citations: | 21 - 3 self |
BibTeX
@INPROCEEDINGS{Bierman07lostin,
author = {Gavin M. Bierman},
title = {Lost in Translation: Formalizing Proposed Extensions to C},
booktitle = {In OOPSLA ’07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object},
year = {2007},
pages = {479--498},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database query languages are based on different semantic foundations and optimization strategies. The resulting “ROX (Relations, Objects, XML) impedance mismatch ” makes life very difficult for developers. Microsoft Corporation is developing extensions to the.NET framework to facilitate easier processing of non-objectoriented data models. Part of this project (known as “LINQ”) includes various extensions to the.NET languages to leverage this support. In this paper we consider proposals for C ♯ 3.0, the next version of the C ♯ programming language. We give both an informal introduction to the new language features, and a precise formal account by defining a translation from C ♯ 3.0 to C ♯ 2.0. This translation also demonstrates how these language extensions do not require any changes to the underlying CLR.
