Augusto Cesar Alves Sampaio

Augusto Cesar Alves Sampaio

Universidade Federal de Pernambuco - Quito / Brazil
Engineering & Technology / Computer Science
AD Scientific Index ID: 933747
Federal University of Pernambuco
person_outline Augusto Cesar Alves Sampaio's MOST POPULAR ARTICLES
1-) A Refinement Strategy for CircusA Cavalcanti, A Sampaio, J WoodcockFormal Aspects of Computing 15, 146-181, 20031832003
2-) Normal form approach to compiler designCAR Hoare, H Jifeng, A SampaioActa informatica 30 (8), 701-739, 19931311993
3-) Algebraic reasoning for object-oriented programmingP Borba, A Sampaio, A Cavalcanti, M CornélioScience of Computer Programming 52 (1-3), 53-100, 20041132004
4-) An algebraic approach to compiler designA SampaioWorld Scientific, 19971041997
5-) Refinement in CircusA Sampaio, J Woodcock, A CavalcantiFME 2002: Formal Methods—Getting IT Right: International Symposium of …, 20021022002