The Essence of Data Access in Cω [chapter]

Gavin Bierman, Erik Meijer, Wolfram Schulte
2005 Lecture Notes in Computer Science  
In this paper we describe the data access features of Cω, an experimental programming language under development at Microsoft Research. Cω targets distributed, data-intensive applications and accordingly extends C 's support of both data and control. In the data dimension it provides a typetheoretic integration of the three prevalent data models, namely the object, relational, and semi-structured models of data. In the control dimension Cω provides elegant primitives for asynchronous
more » ... on. In this paper we concentrate on the data dimension. Our aim is to describe the essence of these extensions; by which we mean we identify, exemplify and formalize their essential features. Our tool is a small core language, FCω, which is a valid subset of the full Cω language. Using this core language we are able to formalize both the type system and the operational semantics of the data access fragment of Cω.
doi:10.1007/11531142_13 fatcat:3nsjmyy4c5ayzioqvu5rnkrcoy