Objects and session types
From MaRDI portal
Publication:1021571
DOI10.1016/j.ic.2008.03.028zbMath1183.68358OpenAlexW2015932520MaRDI QIDQ1021571
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida
Publication date: 8 June 2009
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2008.03.028
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Theory of software (68N99)
Related Items (15)
On projecting processes into session types ⋮ Combining behavioural types with security analysis ⋮ Stateful Behavioral Types for Active Objects ⋮ Synthesizing distributed protocol specifications from a UML state machine modeled service specification ⋮ Algorithmic type checking for a pi-calculus with name matching and session types ⋮ Deriving session and union types for objects ⋮ Asynchronous Session Types and Progress for Object Oriented Languages ⋮ Concurrent Objects à la Carte ⋮ Type inference and strong static type checking for Promela ⋮ Global types with internal delegation ⋮ Amalgamating sessions and methods in object-oriented languages with generics ⋮ Session Types with Gradual Typing ⋮ Objects and session types ⋮ Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus ⋮ A Calculus of Global Interaction based on Session Types
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Type checking a multithreaded functional language with session types
- Service oriented computing from a process algebraic perspective
- Amalgamating sessions and methods in object-oriented languages with generics
- Objects and session types
- A calculus of mobile processes. II
- Typing correspondence assertions for communication protocols
- Formalising Java RMI with explicit code mobility
- Subtyping for session types in the pi calculus
- A Calculus of Global Interaction based on Session Types
- Theoretical Aspects of Communication-Centred Programming
- A theory of contracts for web services
- A Type System for Client Progress in a Service-Oriented Calculus
- Session and Union Types for Object Oriented Programming
- The Pairing of Contracts and Session Types
- Bounded Session Types for Object Oriented Languages
- Bounded polymorphism in session types
- Spatial-Behavioral Types, Distributed Services, and Resources
- Two Session Typing Systems for Higher-Order Mobile Processes
- Correspondence assertions for process synchronization in concurrent communications
- Trustworthy Global Computing
- Asynchronous Session Types and Progress for Object Oriented Languages
- The Principal Type-Scheme of an Object in Combinatory Logic
- Structured Communication-Centred Programming for Web Services
- A New Type System for Deadlock-Free Processes
This page was built for publication: Objects and session types