SECG: The SCOOP-to-Eiffel code generator

Journal of Object Technology

Volumn 3, Issue 10, 2004, Pages 143-160

  Fuks, Oleksandr ^a   Ostroff, Jonathan S ^a   Paige, Richard F ^b  

^a YORK UNIVERSITY   (Canada)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; SOCIETIES AND INSTITUTIONS; SYNCHRONIZATION;

ATOMIC EXECUTION; C++ (PROGRAMMING LANGUAGE); SCOOP-TO-EIFFEL CODE GENERATOR (SECG);

OBJECT ORIENTED PROGRAMMING;

EID: 11244328254     PISSN: 16601769     EISSN: None     Source Type: Journal    
DOI: 10.5381/jot.2004.3.10.a3     Document Type: Article

References (12)

1. B. Alpern et al. The Jalapeno Virtual Machine. IBM Systems Journal 39(1), 2000.
2. I. Attali and D. Caromel. Formal Properties of the Eiffel// Model. Parallel and Distributed Objects, 1999.
3. D. Caromel. Towards a method of object-oriented concurrent programming. Comm. ACM 36(9), September 1993.
4. M. Compton. SCOOP: an Investigation of Concurrency in Eiffel, MSc Thesis, Australian National University, 2000.
5. J. Gosling, B. Joy, and G. Steele. The Java Language Specification, Second Edition, AWL, 2000.
6. E.C.R. Hehner. A Practical Theory of Programming, Second Edition, Springer-Verlag, 2003.
7. G. Jalloul. Communicating Sequential Systems. Journal of Object-Oriented Programming, 2000.
8. C.-H. Jo, C.-J. Lee, and J. Son. A realization of a concurrent object-oriented programming language. In Proc. ACM Symposium on Applied Computing 1998, ACM Press, 1998.
9. D. Konstantas, O. Nierstrasz, and M. Papthomas. An implementation of Hybrid, a concurrent object-oriented language. Technical Report, University of Geneva, June 1998.
10. B. Meyer. Object-Oriented Software Construction, Second Edition, Prentice-Hall, 1997.
11. R. Paige and J. Ostroff. ERC: an Object-Oriented Refinement Calculus for Eiffel, to appear in Formal Aspects of Computing, Springer-Verlag, 2004. Draft available at http://www.cs.yorku.ca/techreports/2001.
12. Y. Yokote and M. Tokoro. Experience and evolution of Concurrent Smalltalk. SIGPLAN Notices 22, October 1987.