Aliasing Control with View-Based Typestate

AuthID
P-007-YM3
3
Author(s)
Aldrich, J
·
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
Publication Identifiers
Dblp: conf/ecoop/MilitaoAC10
Scopus: 2-s2.0-79957976123
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.