Percorrer por autor 1171 Subscrever estatísticas do autor Autor

Índice: 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

ou inserir as letras iniciais:  

Mostrar 8-25 de um total de 25 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2016Formalizing Single-Assignment Program Verification: An Adaptation-Complete ApproachLourenco, Claudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
6-Ago-2007Foundational certification of data-flow analysesFrade, M. J.; Saabas, Ando; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
8-Jun-2018A generalized approach to verification condition generationBelo Lourenco, Claudio; Frade, M. J.; Nakajima, Shin, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2019A generalized program verification workflow based on loop elimination and SA formBelo Lourenco, Claudio; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1998Guiões das aulas práticas laboratoriais sobre o sistema COQFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
1998Introdução ao sistema COQ de assistência à provaFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
Out-1994Navegar é preciso...Miranda, José Eduardo Pina; Frade, M. J.OutroAcesso aberto
2018Permutability in proof terms for intuitionistic sequent calculus with cutsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
1998Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema IsabelleFrade, M. J.OutroAcesso aberto
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.Resumo em ata de conferência Acesso aberto
2006Structural proof theory as rewritingEspírito Santo, José; Frade, M. J.; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2006Structural proof theory as rewritingFrade, M. J.; Espírito Santo, José; Pinto, L.Artigo em ata de conferênciaAcesso aberto
2004Type-based termination of recursive definitionsBarthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E., et al.ArtigoAcesso aberto
2003Type-based termination of recursive definitions and constructor subtyping in typed lambda calculiFrade, M. J.Tese de doutoramentoAcesso aberto
2023Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applicationsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.ArtigoAcesso embargado (1 Ano)
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2011Verification conditions for source-level imperative programsFrade, M. J.; Pinto, Jorge SousaArtigoAcesso aberto
3-Abr-2023A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3Frade, M. J.; Pinto, Jorge SousaArtigoAcesso embargado (1 Ano)
Mostrar 8-25 de um total de 25 resultados. < anterior