1
|
Material Type: Livro
|
|
Paragon a language using type hierarchies for the specification, implementation, and selection of abstract data types
Mark Steven Sherman
Berlin New York Springer-Verlag c1985
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.43 PARAGON Sh55p ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Functional programming languages and computer architecture proceedings
Conference on Functional Programming Languages and Computer Architecture (3. 1987 Portland) Gilles Kahn
Berlin Springer 1987
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.43 C76f 3. ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Optimal interprocedural program optimization a new framework and its application
Jens Knoop
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1428 ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
The design of well-structured and correct programs
Suad Alagiâc 1946- Michael A Arbib
New York Springer-Verlag c1978
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68P05.01 A317d e.3 ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Combinators and functional programming languages proceedings
Spring School of the Laboratoire Informatique Theorique et Programmation (13. 1985 Val D'ajol) Guy Cousineau
Berlin Springer 1986
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.242 ex.1 ) e outros locais(Acessar)
|