• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

The essence of data access in cω: The power is in the dot (2002)

Cached

  • Download as a PDF

Download Links

  • [research.microsoft.com]
  • [www.research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [www.research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Gavin Bierman , Erik Meijer , Wolfram Schulte
Venue:In ECOOP ’02
Citations:1 - 0 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@INPROCEEDINGS{Bierman02theessence,
    author = {Gavin Bierman and Erik Meijer and Wolfram Schulte},
    title = {The essence of data access in cω: The power is in the dot},
    booktitle = {In ECOOP ’02},
    year = {2002}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Abstract. In this paper we describe the data access features of Cω, an experimental programming language based on C ♯ currently 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 type-theoretic 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 communication. 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ω. 1

Citations

580 Types and Programming Languages - Pierce - 2002
466 Featherweight Java: a minimal core calculus for Java and GJ - Igarashi, Pierce, et al. - 2001
239 M.: Classes and mixins - Flatt, Krishnamurthi, et al. - 1998
231 The reflexive chemical abstract machine and the join-calculus - Fournet, Gonthier - 1996
157 Regular expression types for XML - Hosoya, Vouillon, et al. - 2000
139 CDuce: an XML-centric general-purpose language - Benzaken, Castagna, et al. - 2003
122 XDuce: A typed XML processing language - Hosoya, Pierce - 2003
111 Modern concurrency abstractions for C#, in - Benton, Cardelli, et al. - 2002
104 Inheritance as implicit coercion - Breazu-Tannen, Coquand, et al. - 1991
102 Domain specific embedded compilers - Leijen, Meijer - 1999
92 Writing Secure Code - Howard, LeBlanc - 2001
60 Regular object types - Gapeyev, Pierce - 2003
58 Mj: An imperative core calculus for Java and Java with effects - Biermann, Parkinson, et al. - 2003
38 Fibonacci: A Programming Language for Object Databases - Albano, Ghelli, et al. - 1995
32 Union types for semistructured data - Buneman, Pierce - 1999
24 Unifying tables, objects, and documents - Meijer, Schulte - 2003
22 Formalization of generics for the .NET common language runtime - Yu, Kennedy, et al. - 2004
21 Programming with circles, triangles and rectangles - Meijer, Schulte, et al. - 2003
9 Persistent polymorphic programming in Tycoon: An introduction. FIDE - Matthes, ig, et al. - 1994
8 XJ: Integration of XML processing into Java - Harren, Raghavachari, et al. - 2003
7 Making the future safe for the past: Adding genericity to Java - Bracha, Odersky, et al. - 1998
3 Types for databases: The Galileo experience - Albano, Ghelli, et al. - 1989
2 Java programming with Oracle SQLJ - Price - 2001
1 et al. XQuery use cases. http://www.w3.org/TR/xquery-use-cases - Chamberlin
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University