Modular session types for objects

We thank Jonathan Aldrich and Luis Caires for helpful discussions. Gay was partially supported by the UK EPSRC (EP/E065708/1 "Engineering Foundations of Web Services", EP/F037368/1 "Behavioural Types for Object-Oriented Languages", EP/K034413/1 "From Data Types to Session Ty...

Full description

Bibliographic Details
Main Author: Gay, Simon J. (author)
Other Authors: Gesbert, Nils (author), Ravara, António (author), Vasconcelos, Vasco T. (author)
Format: article
Language:eng
Published: 2017
Subjects:
Non-uniform method availability
Object-oriented calculus
Session types
Typestate
Computer Science(all)
Theoretical Computer Science
Online Access:https://doi.org/10.2168/LMCS-11(4:12)2015
Country:Portugal
Oai:oai:run.unl.pt:10362/20829

Internet

https://doi.org/10.2168/LMCS-11(4:12)2015

Similar Items