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

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

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 Sun May 19 20:39:19 2013 BST.