Publications

Aliasing Control with View-Based Typestate

AuthID
P-007-YM3

Author(s)

Militao, F

Aldrich, J

Caires, L

Document Type

Proceedings Paper

Year published

2010

Published

in 24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 5:12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10 in FTFJP@ECOOP

Pages: 7:1-7:7

Conference

24Th European Conference on Object-Oriented Programming, Ecoop 2010 - 12Th Workshop on Formal Techniques for Java-Like Programs, Ftfjp'10, Date: 22 June 2010 through 22 June 2010, Location: Maribor, Sponsors: CEKTRA;Assoc Internationale por les Technologies Objects (AITO);ACM Special Interest Group on Software Engineering (SIGSOFT);University of Maribor;ACM Special Interest Group on Programming Languages (SIGPLAN)

Indexing