MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A New Programming Discipline." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

A Model of Dynamic Separation for Transactional Memory
by Martín Abadi, Tim Harris, Katherine F. Moore
… of Washington Abstract. Dynamic separation is a new programming discipline for systems with transactional memory…
Cited by 2 (1 self) – Add To MetaCart

Language and Runtime Implementation of Sessions for Java
by Raymond Hu, Nobuko Yoshida, Kohei Honda — 2007 — In ICOOOLPS’07
…. The fundamental abstraction is the session-typed socket, which represents a session endpoint. 3. A new programming…
Cited by 1 (1 self) – Add To MetaCart

Static analysis of communications for Erlang
by Fabien Dagnat, Marc Pantel — 2002 — In Proceedings of 8th International Erlang/OTP User Conference
… abstraction and a new programming discipline. These systems were proved to be correct. In order to validate…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB