Typestate: A programming language concept for enhancing software reliability

DOI10.1109/TSE.1986.6312929zbMath0575.68036OpenAlexW2044590882MaRDI QIDQ3694680

Shaula A. Yemini, Robert E. Strom

Publication date: 1986

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1986.6312929

zbMATH Keywords

securityprogram analysissoftware reliabilityprogram verificationtype checkingtypestate

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (11)

Mixed Sessions ⋮ Relating Functional and Imperative Session Types ⋮ Symbolic automata for representing big code ⋮ Revisiting sequential composition in process calculi ⋮ Sound concurrent traces for online monitoring ⋮ Research Challenges in Orchestration Synthesis ⋮ Interactive programming in Agda – Objects and graphical user interfaces ⋮ Unnamed Item ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols ⋮ Roles, stacks, histories: A triple for Hoare ⋮ Mixed sessions

This page was built for publication: Typestate: A programming language concept for enhancing software reliability