SCOOP - Concurrency made easy

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4028 LNCS, Issue , 2006, Pages 82-102

  Arslan, Volkan ^a   Eugster, Patrick ^a   Nienaltowski, Piotr ^a   Vaucouleur, Sebastien ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DIGITAL LIBRARIES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SYNCHRONIZATION;

DYNAMIC BINDING; EXTENDED TYPE SYSTEM; SINGLE SEQUENTIAL TASK;

CONCURRENCY CONTROL;

EID: 38549181552     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11808107_4     Document Type: Conference Paper

References (17)

1. Meyer, B.: Systematic Concurrent Object-Oriented Programming. Communications of the ACM 36 (1993) 56-80
2. Meyer, B.: Object-Oriented Software Construction. Second edn. Prentice Hall (1997)
3. Butler, M., Hoare, C., Ferreira, C.: A Trace Semantics for Long-Running Transactions. In: 25 Years Communicating Sequential Processes. (2004) 133-150
4. Arslan, V., Nienaltowski, P., Arnout, K.: Event Library: An Object-Oriented Library for Event-Driven Design. In: Joint Modular Languages Conference on Modular Programming Languages (JMLC 2003). (2003) 174-183
5. Eugster, P., Felber, P., Guerraoui, R., Kermarrec, A.M.: The Many Faces of Publish/Subscribe. ACM Computing Surveys 35 (2003) 114-131
6. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G., Leino, K.R.M., Poll, E.: An Overview of JML Tools and Applications. Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS '03) (2003)
7. Mike Barnett and K. Rustan M. Leino, and Wolfram Schulte: The Spec# Programming System: An Overview. In: CASSIS 2004. Springer (2004)
8. Nienaltowski, P., Arslan, V., Meyer, B.: Concurrent object-oriented programming on .NET. IEE Proceedings - Software 150 (2003) 308-314
9. Caromel, D.: Towards a Method of Object-Oriented Concurrent Programming. Communications of the ACM 36 (1993) 90-102
10. Dietl, W., Müller, P., Poetzsch-Heffter, A.: A type system for checking applet isolation in Java Card. In Barthe, G., Burdy, L., Huisman, M., Lanet, J.L., Muntean, T., eds.: Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS). Volume 3362 of Lecture Notes in Computer Science., Springer-Verlag (2004) 129-150
11. ECMA: Eiffel Analysis, Design and Programming Language. ECMA Standard 367 (2005)
12. Fich, F.E., Ruppert, E.: Hundreds of Impossibility Results for Distributed Computing. Distributed Computing 16 (2003) 121-163
13. Weikum, G., Vossen, G.: Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann Publishers, San Francisco, CA (2002)
14. Moss, J.E.B.: Nested Transactions: an Approach to Reliable Distributed Computing. Technical Report 260, Massachusetts Institute of Technology, Laboratory for Computer Science (1981)
15. Vaucouleur, S., Eugster, P.: Atomic Features. In: Proceedings of the Workshop on Synchronization in Concurrent Object-Oriented Languages (SCOOL), OOPSLA. (2005)
16. Arslan, V., Eugster, P.: Modeling Embedded Real-time Applications with Objects and Events (to appear). In: Proceedings of the 3rd Workshop on Object-Oriented Modelling of Embedded Real-Time Systems (OMER-3). (2005)
17. Brega, R.: A Combination of System Software Techniques Aimed at Raising the Runtime-Safety of Complex Mechatronic Applications. PhD thesis, ETH Zurich, Switzerland (2002)