Safe languages mechanisms for modularization and concurrency
By: Martin Büchi
Contributors: Åbo akademi (1918- )
Series: TUCS dissertations -- no. 28
Publisher: Painosalama Oy
Published: 2000
Place of publication: Turku, Finland
Language: eng
Notes: Contient aussi les publications originales de l'auteur suivantes : "Program development by refinement : case studies using the B method", p. 115-180, Springer Verlag, 1998 ; "Compositional symmetric sharing in B", Proceedings of FM'99 : world congress on formal methods, p. 431-451, Springer Verlag, 1999 ; "The greybox approach : when blackbox specifications hide too much" (à paraître) ; "Compound types for Java, Proceedings of the conference of object-oriented programming, systems, languages, and applications, p. 362-373, ACM press, 1998 ; Generic wrapping, Technical report 317, Turku centre for Computer Science, 2000 ; "Generic wrappers", Proceedings of ECOOP 2000, Springer Verlag, 2000 ; "Action-based concurrency and synchronization for objects", Proc. of the Fourth AMAST Workshop..., p. 248-262, Springer Verlag, 1997 ; "Refining concurrent objects", à paraître, in : Fundamenta Informaticae.

Thesis (doctoral)--Åbo Akademi University, 2000.

Bibliogr. : p. 40-43.