Objects and session types

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

Mathematics Subject Classification ID

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

• Featherweight Java
• MJ

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