State inference for dynamically changing interfaces

DOI10.1016/S0096-0551(01)00019-4zbMATH Open0997.68016WikidataQ127364263 ScholiaQ127364263MaRDI QIDQ4329488FDOQ4329488

Authors: Franz Puntigam 

Publication date: 1 May 2002

Published in: Computer Languages (Search for Journal in Brave)

Recommendations

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

zbMATH Keywords

type systemconcurrent object calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (6)

• An algebra of behavioural types
• Dynamic delegation with a persistent state
• A type checking algorithm for concurrent object protocols
• A type safe state abstraction for coordination in JAVA-like languages
• Title not available (Why is that?)
• Deriving State-Based Implementations of Interactive Components with History Abstractions

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)