State inference for dynamically changing interfaces

DOI10.1016/S0096-0551(01)00019-4MaRDI QIDQ4329488zbMATH OpenWikidataFDO

Authors Franz Puntigam

Publication date 1 May 2002

Published in Computer Languages (Search for Journal in Brave)

zbMATH Keywords

type systemconcurrent object calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Deriving State-Based Implementations of Interactive Components with History Abstractions
• Stateful Behavioral Types for Active Objects
• scientific article; zbMATH DE number 1304374

Cited in

(6)

• Deriving State-Based Implementations of Interactive Components with History Abstractions
• A type safe state abstraction for coordination in JAVA-like languages
• An algebra of behavioural types
• scientific article; zbMATH DE number 1689050 (Why is no real title available?)
• Dynamic delegation with a persistent state
• A type checking algorithm for concurrent object protocols

This page was built for publication: State inference for dynamically changing interfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329488)