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: 4.

Article

Borba, P.H.M. and Sampaio, A.C.A. and Cavalcanti, A.L.C. and Cornelio, M.L. (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423 . (The full text of this publication is not available from this repository)

Cavalcanti, A.L.C. and Sampaio, A.C.A. and Woodcock, J.C.P. (2003) A Refinement Strategy for Circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043. (The full text of this publication is not available from this repository)

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)

Duran, A. and Sampaio, A.C.A. and Cavalcanti, A.L.C. (2001) Formal Bytecode Generation for a ROOL Virtual Machine. In: 4th Brazilian Workshop on Formal Methods. (The full text of this publication is not available from this repository)

This list was generated on Thu Apr 17 07:51:34 2014 BST.