Ownership types were devised nearly 15 years ago to provide a stronger notion of protection
to object-oriented programming languages. Rather than simply protecting the fields of an …

We introduce COWS (Calculus for Orchestration of Web Services), a new foundational
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …

This paper reports on our experience with the implementation of the Real-time Specification
for Java on the Ovm open source Java virtual machine. We describe the architecture and …

A memory model based on scoped areas is one of the distinctive features of the Real-Time
Specification for Java (RTSJ). Scoped types ensure timely reclamation of memory and …

Sockets direct protocol (SDP) is a byte-stream transport protocol implementing the TCP
SOCK/spl I. bar/STREAM semantics utilizing transport offloading capabilities of the …

The programming languages of today are stuck in a deep rut that has developed over the
past 50 years. Although we are faced with new challenges posed by enormous advances in …

Embedded microcontrollers are becoming increasingly prolific, serving as the primary or
auxiliary processor in products and research systems from microwaves to sensor networks …

The ideal software contract fully specifies the behavior of an operation. Often, in particular in
the context of scripting languages, a full specification may be cumbersome to state and may …

Both static and dynamic ty** provide different benefits to the programmer. Statically typed
languages support earlier type error detection and more opportunities for compiler …

Encapsulation is a founding principle of object-oriented programming: to this end, there
have been a number of recent of proposals to increase programming languages' support for …