Information Technology Reference
In-Depth Information
5. Brooke, P.J., Paige, R.F., Jacob, J.L.: A CSP model of Eiffel's SCOOP. Formal Aspects of
Computing 19(4), 487-512 (2007)
6. Cenciarelli, P., Knapp, A., Reus, B., Wirsing, M.: An Event-Based Structural Operational
Semantics of Multi-threaded Java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of
Java. LNCS, vol. 1523, pp. 157-200. Springer, Heidelberg (1999)
7. Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C.,
Sarkar, V.: X10: An object-oriented approach to non-uniform cluster computing. In: Confer-
ence on Object Oriented Programming Systems Languages and Applications, pp. 519-538
(2005)
8. Coffman, E.G., Elphick, M.J., Shoshani, A.: System deadlocks. ACM Computing Sur-
veys 3(2), 67-78 (1971)
9. ECMA: ECMA-367 Eiffel: Analysis, design and programming language 2nd edn. Tech. rep.,
ECMA International (2006)
10. Ericsson Erlang website (2011),
http://www.erlang.org/
11. Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: ACM SIGPLAN-
SIGACT Symposium on Principles of Programming Languages, pp. 372-385 (1996)
12. Gelernter, D., Carriero, N., Chandran, S., Chang, S.: Parallel programming in Linda. In:
International Conference on Parallel Processing, pp. 255-263 (1985)
13. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)
14. International Organization for Standardization: ISO/IEC 8652:1995 Ada. Tech. rep., Interna-
tional Organization for Standardization (1995)
15. Joyner, M., Chamberlain, B.L., Deitz, S.J.: Iterators in Chapel. In: International Parallel and
Distributed Processing Symposium/International Parallel Processing Symposium (2006)
16. Khoshafian, S., Copeland, G.P.: Object identity. In: Conference on Object Oriented Program-
ming Systems Languages and Applications. pp. 406-416 (1986)
17. Klein, G., Nipkow, T.: A machine-checked model for a Java-like language, virtual machine
and compiler. ACM Transactions on Programming Languages and Systems 28(4), 619-695
(2006)
18. Liskov, B., Zilles, S.: Programming with abstract data types. ACM SIGPLAN Notices 9(4),
50-59 (1974)
19. Lochbihler, A.: Type safe nondeterminism - A formal semantics of Java threads. In: Interna-
tional Workshop on Foundations of Object-Oriented Languages (2008)
20. Meyer, B.: A three-level approach to data structure description, and notational framework.
In: ACM-NBS Workshop on Data Abstraction, Databases and Conceptual Modelling, pp.
164-166 (1981)
21. Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall (1997)
22. Microsoft Axum website (2011),
23. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press
(1999)
24. Morandi, B., Nanz, S., Meyer, B.: A comprehensive operational semantics of the SCOOP
programming model (2011),
http://arxiv.org/abs/1101.1038v1
25. Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented pro-
gramming. Ph.D. thesis, ETH Zurich (2007)
26. Nordio, M., Calcagno, C., Muller, P., Meyer, B.: A Sound and Complete Program Logic for
Eiffel. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol. 33, pp. 195-214.
Springer, Heidelberg (2009)
27. Odersky, M.: The Scala language specification version 2.8. Tech. rep., Swiss Federal Institute
of Technology Lausanne (2010)
28. Ostroff, J.S., Torshizi, F.A., Huang, H.F., Schoeller, B.: Beyond contracts for concurrency.
Formal Aspects of Computing 21(4), 319-346 (2008)
Search WWH ::
Custom Search