Conference record of the thirteenth annual ACM Symposium on Principles of ProgrammingLanguages papers presented at the symposium, Trade Winds Hotel, St. Petersburg Beach, Florida, 13-15 January 1986
ACM Symposium on Principles of ProgrammingLanguages (13th 1986 St. Petersburg Beach, Fla.) ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group in ProgrammingLanguages
New York ACM 1986
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989c 13 )(Acessar)
Conference record of the eleventh annual ACM Symposium on Principles of ProgrammingLanguages papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984
ACM Symposium on Principles of ProgrammingLanguages (11th 1984 Salt Lake City, Utah) ACM Special Interest Group on Automa and Computability Theory; ACM Special Interest Group in ProgrammingLanguages; Association for Computing Machinery
New York ACM c1983 [i.e. 1984
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989c 11. )(Acessar)
Programminglanguages implementations, logics, and programs : 9th international symposium, PLILP '97, including a special track on declarative programminglanguages in education, Southampton, UK, September 1-3, 1997 : proceedings
PLILP '97 (1997 Southampton, England) Hugh Glaser; Pieter H Hartel; Herbert Kuchen 1958-; International Workshop on ProgrammingLanguages Implementations, Logics and Programs (9. 1997 Southampton, UK)
Berlin Springer New York c1997
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1292 ) e outros locais(Acessar)
Conference record of the twelfth annual ACM Symposium on Principles of ProgrammingLanguages extended abstracts of papers presented at the symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16, January 1985
ACM Symposium on Principles of ProgrammingLanguages (12th 1985 New Orleans, La.) ACM Special Interest Group for Automata and Computability Theory; ACM Special Interest Group in ProgrammingLanguages
New York ACM 1985
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989c 12. )(Acessar)