Concurrent object-oriented programs: from specification to code.

DOI10.1007/B14033MaRDI QIDQ5897130zbMATH OpenOpenAlexDBLPFDO

Authors Emil Sekerinski

Publication date 9 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b14033

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Support for implementation of evolutionary concurrent systems
• scientific article; zbMATH DE number 1479623
• Verification and refinement with fine-grained action-based concurrent objects
• scientific article; zbMATH DE number 1546500
• scientific article; zbMATH DE number 1110831

Cited in

(15)

• A type safe state abstraction for coordination in JAVA-like languages
• Verification and refinement with fine-grained action-based concurrent objects
• An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)
• Exclusion requirements and potential concurrency for composite objects
• An object-oriented concurrent programming language
• scientific article; zbMATH DE number 1691458 (Why is no real title available?)
• A specification technique for scheduling the methods of concurrent objects
• SC-expressions in object-oriented languages
• scientific article; zbMATH DE number 4170070 (Why is no real title available?)
• scientific article; zbMATH DE number 1231464 (Why is no real title available?)
• scientific article; zbMATH DE number 1094618 (Why is no real title available?)
• A concurrent constraint programming interpretation of access permissions
• scientific article; zbMATH DE number 1402140 (Why is no real title available?)
• Preface
• Support for implementation of evolutionary concurrent systems

This page was built for publication: Concurrent object-oriented programs: from specification to code.

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