Browsing by author 1171

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  

Showing results 1 to 20 of 21.  next >
Issue DateTitleAuthor(s)TypeAccess
2009Bidirectional data-flow analyses, type-systematicallyFrade, M. J.; Saabas, Ando; Uustalu, TarmoConference paperRestricted access (UMinho)
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaConference paperOpen access
1995Comportamento e estadoFrade, M. J.Master thesis Open access
Jan-1995Comunicação, concorrência e processosMiranda, José Eduardo Pina; Frade, M. J.OtherOpen access
1999Constructor subtypingBarthe, Gilles Jacques Denis; Frade, M. J.Conference paperOpen access
Jun-1999Constructor subtyping : extended versionFrade, M. J.; Barthe, Gilles Jacques DenisReportOpen access
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.AbstractOpen access
2016Formalizing Single-Assignment Program Verification: An Adaptation-Complete ApproachLourenco, Claudio Belo; Frade, M. J.; Pinto, Jorge SousaConference paperRestricted access (UMinho)
6-Aug-2007Foundational certification of data-flow analysesFrade, M. J.; Saabas, Ando; Uustalu, TarmoConference paperOpen access
1998Guiões das aulas práticas laboratoriais sobre o sistema COQFrade, M. J.; Pinto, Jorge SousaOtherOpen access
1998Introdução ao sistema COQ de assistência à provaFrade, M. J.; Pinto, Jorge SousaOtherOpen access
Oct-1994Navegar é preciso...Miranda, José Eduardo Pina; Frade, M. J.OtherOpen access
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Conference paperOpen access
1998Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema IsabelleFrade, M. J.OtherOpen access
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.AbstractOpen access
2006Structural proof theory as rewritingFrade, M. J.; Espírito Santo, José; Pinto, L.Conference paperOpen access
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Conference paperOpen access
2004Type-based termination of recursive definitionsBarthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E., et al.ArticleOpen access
2003Type-based termination of recursive definitions and constructor subtyping in typed lambda calculiFrade, M. J.Doctoral thesisOpen access
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaConference paperRestricted access (UMinho)