Qualifying types illustrated by synchronisation examples

DOI10.1007/3-540-36557-5_24MaRDI QIDQ4413617zbMATH OpenFDO

Authors J. Leslie Keedy, Gisela Menger, Christian Heinlein, Frans Henskens

Publication date 21 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2591/25910330.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Qualified Types
• Synchronization expressions: Characterization results and implementation
• Three types of generalized synchronization
• scientific article; zbMATH DE number 1231451
• Integrated Formal Methods
• scientific article; zbMATH DE number 17528
• Partial characterization of synchronization languages
• scientific article; zbMATH DE number 1543321

Describes a project that uses

Uses Software

• CLOS
• AspectJ
• BETA
• Eiffel
• AspectC++

This page was built for publication: Qualifying types illustrated by synchronisation examples

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