Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 53 resultados (tempo de pesquisa: 0.032 segundos).
DataTítuloAutor(es)TipoAcesso
2008Visual programming with Interaction NetsHassan, Abubakar; Mackie, Ian; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
2013Towards a mostly-automated prover for bit-vector arithmeticAbal, Iago; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
2006A local graph-rewriting system for deciding equality in sum-product theoriesPinto, Jorge Sousa; Almeida, José Bacelar; Vilaça, MiguelArtigo em ata de conferênciaAcesso aberto
2004Making the point-free calculus less pointlessCunha, Alcino; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J.; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi; Oliveira, José M. Parente; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
2010Program verification in SPARK and ACSL : a comparative case studyBrito, Eduardo; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 53 resultados (tempo de pesquisa: 0.032 segundos).

Descobrir