Types as models
From MaRDI portal
Publication:5178897
DOI10.1145/503272.503278zbMath1323.68365OpenAlexW2044550200MaRDI QIDQ5178897
Sagar Chaki, Jakob Rehof, Sriram K. Rajamani
Publication date: 17 March 2015
Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/503272.503278
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (17)
A generic type system for the pi-calculus ⋮ Type checking a multithreaded functional language with session types ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ On the potential advantages of exploiting behavioural information for contract-based service discovery and composition ⋮ Conversation types ⋮ Typing correspondence assertions for communication protocols ⋮ An algebra of behavioural types ⋮ Deciding safety properties in infinite-state pi-calculus via behavioural types ⋮ Spatial and behavioral types in the pi-calculus ⋮ Spatial-behavioral types for concurrency and resource control in distributed systems ⋮ An algebraic theory for web service contracts ⋮ A new type system for JVM lock primitives ⋮ Regular and context-free nominal traces ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Deadlock Detection in Linear Recursive Programs ⋮ Spatial-Behavioral Types, Distributed Services, and Resources ⋮ Subtyping for session types in the pi calculus
Uses Software
This page was built for publication: Types as models
