Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.

Conference or workshop item

Duran, A. and Cavalcanti, A.L.C. and Sampaio, A.C.A. (2003) A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. In: FME 2003: Formal Methods - International Symposium of Formal Methods Europe, SEP 08-14, 2003, Pisa Italy . (The full text of this publication is not available from this repository)

Atiya, Diyaa-Addein and King, Steve and Woodcock, Jim (2003) A Circus semantics for Ravenscar protected objects. In: Araki, K. and Gnesi, S. and Mandrioli, D., eds. LECTURE NOTES IN COMPUTER SCIENCE. SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY pp. 617-635. ISBN 3-540-40828-2. (The full text of this publication is not available from this repository)

This list was generated on Thu Apr 17 13:44:01 2014 BST.