Paulo Sérgio Soares de Almeida


AuthID: R-000-EM4

Confirmed Publications: 53



51
TITLE: Aliasing in object oriented systems  Full Text
AUTHORS: Noble, J; Vitek, J; Lea, D; Almeida, PS ;
PUBLISHED: 1999, SOURCE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743
INDEXED IN: WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
52
TITLE: Type-checking balloon types
AUTHORS: Almeida, PS ;
PUBLISHED: 1999, SOURCE: MFPS XV, Mathematical Foundations of Programming Semantics, Fifteenth Conference in Electronic Notes in Theoretical Computer Science, VOLUME: 20
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
53
TITLE: Balloon Types: Controlling Sharing of State in Data Types
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 1997, SOURCE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241
INDEXED IN: Scopus DBLP CrossRef: 61
IN MY: ORCID | DBLP
Page 6 of 6. Total results: 53.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service