Background
Sampaio, Augusto was born on November 20, 1964 in Recife, Pernambuco, Brazil. Son of João and Teresa Sampaio.
(This work investigates the design of compilers for proced...)
This work investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general "normal form", capable of representing an arbitrary target machine. This is acheived by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilation, together with the fact that the entire process is formalized within a single and uniform semantic framework of a procedural language and its algebraic laws. Furthermore, by mechanizing the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness.
http://www.amazon.com/gp/product/9810223919/?tag=2022091-20
Sampaio, Augusto was born on November 20, 1964 in Recife, Pernambuco, Brazil. Son of João and Teresa Sampaio.
Bachelor of Science in Computer Science, Federal University Pernambuco, Recife, 1985. Master of Science in Computer Science, Federal University Pernambuco, 1988. Doctor of Philosophy in Computing, Oxford University, England, 1993.
Associate computer science professor Federal University Pernambuco, since 1995. Co-founder Software Qualiti Processes, since 1998. Visiting researcher Oxford University, England, 1995.
Visiting fellow International Institute Software Technology United Nations University, Macau, 2000. Head graduate studies, Center Informatics Federal University Pernambuco, 2001—2003, head research & projects, Center Informatics, since 2005, head computer science department, since 2006.
(This work investigates the design of compilers for proced...)
Married Claudia Cunha, January 24, 1987. Children: Gabriela, Debora.