MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "An Implementation of Session Types." – sorted by Relevance.

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

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

11 documents found, showing 1 through 10. Next 10 →

ATOM

An Implementation of Session Types
by Matthias Neubauer, Peter Thiemann — 2004 — In PADL, volume 3057 of LNCS
…An Implementation of Session Types Matthias Neubauer and Peter Thiemann # Universitat Freiburg…
Cited by 13 (0 self) – Add To MetaCart

Secure Implementations for Typed Session Abstractions
by Ricardo Corin, Pierre-malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James Leifer — 2007 — In CFS’07. IEEE-CS
…Secure Implementations for Typed Session Abstractions Ricardo Corin 1,2,3 Pierre-Malo Deniélou 1…
Cited by 9 (3 self) – Add To MetaCart

FESCA 2008 Inference of session types from control flow
by Peter Collingbourne, Paul H J Kelly
… as the safe directionality property; • An implementation of session type inference, based on a session…
Add To MetaCart

Language and Runtime Implementation of Sessions for Java
by Raymond Hu, Nobuko Yoshida, Kohei Honda — 2007 — In ICOOOLPS’07
… declaration: an implementation of session types closer to the latter would probably be easier for Java…
Cited by 1 (1 self) – Add To MetaCart

A Compile-Time Infrastructure for GCC Using
by Peter Collingbourne, Paul H J Kelly
…. – An implementation of the session type communication protocol for C++ that provides advanced verification…
Add To MetaCart

Promondia: A Java-Based Framework for Real-Time Group Communication in the Web
by Ulrich Gall, Ulrich Gall, Franz J. Hauck, Franz J. Hauck — 1997 — in the Web, Proceedings of the Sixth International World Wide Web Conference
…, programming models for and implementations of session types. There should be a clear distinction between…
Cited by 12 (0 self) – Add To MetaCart

Promondia: A Java-Based Framework for Real-Time Group Communication in the Web
by Ulrich Gall Franz, Ulrich Gall, Franz J. Hauck, Franz J. Hauck — 1997
… for and implementations of session types. There should be a clear distinction between these components. We will discuss…
Add To MetaCart

A Compile-Time Infrastructure for GCC Using Haskell (extended version)
by Peter Collingbourne, Paul H J Kelly
…. – An implementation of the session type communication protocol for C++ that provides advanced verification…
Add To MetaCart

Session Types for Object-Oriented Languages Dedicated to Giuseppe Longo at the occasion of his 60th
by Mariangiola Dezani-ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida
… is the session body, which implements the session type. The method buy of class Buyer contains a connect…
Add To MetaCart

Session Types for Object-Oriented Languages
by Mariangiola Dezani-ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou — 2006 — In Proceedings of ECOOP’06, LNCS
… communication, the second is the session type, and the third is the session body, which implements the session…
Cited by 27 (14 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB