1
|
Material Type: Relatório Técnico
|
|
Automating the generation of program analysis and verification tools
Leonardo Mendonça de Moura Carlos José Pereira de Lucena; Edward Hermann Haeusler
Rio de Janeiro PUC 2000
Localização:
IME - Inst. Matemática e Estatística
(S M751 2000 v.08 )(Acessar)
|
2
|
Material Type: Relatório Técnico
|
|
NUL dedução natural para lógica de ultrafiltros
Christian Jacques Renteria Edward Hermann Haeusler; Paulo A. S Veloso (Paulo Augusto Silva), 1944-
Rio de Janeiro PUC 2002
Localização:
IME - Inst. Matemática e Estatística
(S M751 2002 v.16 )(Acessar)
|
3
|
Material Type: Relatório Técnico
|
|
A modular implementation of action notation
Leonardo Mendonça de Moura Carlos José Pereira de Lucena; Edward Hermann Haeusler
Rio de Janeiro PUC 2000
Localização:
IME - Inst. Matemática e Estatística
(S M751 2000 v.07 )(Acessar)
|
4
|
Material Type: Relatório Técnico
|
|
Intuitionistic type theory and general problem theory a relationship
Edward Hermann Haeusler
Rio de Janeiro PUC 1988
Localização:
IME - Inst. Matemática e Estatística
(S M751 1988 v.18 )(Acessar)
|
5
|
Material Type: Relatório Técnico
|
|
Técnicas formais e informais um estudo sobre integração usando "statecharts"
Carlos H. C. Duarte (Carlos Henrique C.) Edward Hermann Haeusler
Rio de Janeiro PUC/RJ 1993
Localização:
IME - Inst. Matemática e Estatística
(S M751 1993 v.12 )(Acessar)
|
6
|
Material Type: Relatório Técnico
|
|
The hot-spot relationship in OO framework design
Marcus Felipe M C Fontoura Edward Hermann Haeusler; Carlos José Pereira de Lucena
Rio de Janeiro PUC 1998
Localização:
IME - Inst. Matemática e Estatística
(S M751 1998 v.33 )(Acessar)
|
7
|
Material Type: Relatório Técnico
|
|
Towards a methodology for extracting programs and solutions from constructive proofs
Paulo A. S. Veloso (Paulo Augusto Silva), 1944- Edward Hermann Haeusler
Rio de Janeiro PUC 1998
Localização:
IME - Inst. Matemática e Estatística
(S M751 1998 v.30 )(Acessar)
|
8
|
Material Type: Relatório Técnico
|
|
Programming language syntax expressing sharing
Isabel L Cafezeiro Edward Hermann Haeusler
Rio de Janeiro PUC 1999
Localização:
IME - Inst. Matemática e Estatística
(S M751 1999 v.09 )(Acessar)
|
9
|
Material Type: Relatório Técnico
|
|
A systematic approach for framework development
Marcus Felipe M C Fontoura Edward Hermann Haeusler; Carlos José Pereira de Lucena
Rio de Janeiro PUC 1999
Localização:
IME - Inst. Matemática e Estatística
(S M751 1999 v.26 )(Acessar)
|
10
|
Material Type: Relatório Técnico
|
|
Analysis of parallel programs
Leonardo Mendonça de Moura Carlos José Pereira de Lucena; Edward Hermann Haeusler
Rio de Janeiro PUC 2000
Localização:
IME - Inst. Matemática e Estatística
(S M751 2000 v.06 )(Acessar)
|