Publicações selecionadas | - M. J. Frade, J. S. Pinto. Verification Conditions for Source-level Imperative Programs. In Computer Science Review, Volume 5, Issue 3, pp. 252-277, 2011. Elsevier.
- J. B. Almeida, M. J. Frade, J. S. Pinto, S. Melo de Sousa. Rigorous Software Development - An Introduction to Program Verification. Springer, 2011. ISBN 978-0-85729-017-5.
- M. J. Frade, A. Saabas, T. Uustalu. Bidirectional data-flow analyses, type-systematically. In Proc. of 2009 ACM SIGPLAN Wksh. on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 2009 (Savannah, GA, Jan. 2009), pp. 141-149. ACM Press.
- M. J. Frade, A. Saabas, T. Uustalu. Foundational certification of data-flow analyses. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE'07 (Shanghai, June 2007) , pp. 107-116. IEEE CS Press.
- G. Barthe, M. J. Frade, E. Giménez, L. Pinto, T. Uustalu. Type-based termination of recursive definitions. In Mathematical Structures in Computer Science , v. 14, n. 1, pp. 97-141, 2004. Cambridge University Press
|