SCOOP – A Contract-Based Concurrent Object-Oriented Programming Model (original) (raw)
Related papers
The SCOOP Concurrency Model in Java-like Languages
Faraz Torshizi, Marsha Chechik, Jonathan Ostroff
cs.utoronto.ca
Concurrent object-oriented programming on .NET
IEE Proceedings - Software, 2003
Practical framework for contract-based concurrent object-oriented programming
2007
Concurrent Object-Oriented Programs: From Specification to Code
Formal Methods for Components and Objects, First International Symposium, FMCO 02, 2003
Abstract Writing Concurrent Object-Oriented Programs
1989
Systematic concurrent object-oriented programming
Communications of the ACM, 1993
Structured Concurrency at Work in an Object Oriented Language
Prototyping a Concurrency Model
2013 13th International Conference on Application of Concurrency to System Design, 2013
Efficient and reasonable object-oriented concurrency
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015
Sequential and concurrent object-oriented programming
TOOLS 90 (Technology of Object-Oriented Languages and Systems), 1990
Formal Aspects of Computing, 2008
The ClassiC programming language and design of synchronous concurrent object oriented languages
Journal of Systems Architecture, 1998
Jscoop: A high-level concurrency framework for java
2008
An Implementation of Hybrid A Concurrent, Object-Oriented Language
1988
Beyond contracts for concurrency
Faraz Torshizi, Jonathan Ostroff
Formal Aspects of …, 2009
Object oriented parallel programming
IEEE Students Conference, ISCON '02. Proceedings.
Writing Concurrent Object-Oriented Programs using Smalltalk-80
The Computer Journal, 1989
Submitted to TOOLS USA 2003 Concurrent Object-Oriented Programming: The MP-Eiffel Approach
2008
Views: Object-inspired concurrency control
2010
Concurrent Object-Oriented Programming: The MP-Eiffel Approach
The Journal of Object Technology, 2004
Lecture Notes in Computer Science, 2010
A comprehensive operational semantics of the SCOOP programming model
arXiv preprint arXiv:1101.1038, 2011
Concurrent object oriented programming with Asynchronous References
Handling Parallelism in a Concurrency Model
Lecture Notes in Computer Science, 2013
2008 13th Asia-Pacific Computer Systems Architecture Conference, 2008
Rosette: An object-oriented concurrent systems architecture
ACM SIGPLAN Notices, 1989
Under consideration for publication in Formal Aspects of Computing Beyond Contracts for Concurrency
2012
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Lecture Notes in Computer Science, 2010
Abstracting process-to-function relations in concurrent object-oriented applications
Lecture Notes in Computer Science