Typestates for Objects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3086, Issue , 2004, Pages 465-490

  Deline, Robert ^a   Fähndrich, Manuel ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT ORIENTED PROGRAMMING;

MICROSOFT .NET; OBJECT INVARIANTS; OBJECT REPRESENTATIONS; OBJECT-ORIENTED COMPILERS; OBJECT-ORIENTED PROGRAM; PROGRAMMING MODELS; STATIC VERIFICATION; VAULT SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 34250326521     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24851-4_21     Document Type: Article

References (18)

1. Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: [18]
2. Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing software reliability. IEEE TSE 12 (1986) 157-171
3. DeLine, R., Fähndrich, M.: Enforcing high-level protocols in low-level software. In: Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation. (2001) 59-69
4. Fähndrich, M., DeLine, R.: Adoption and focus: Practical linear types for imperative programming. In: [18] 13-24
5. Guttag, J.V., Horning, J.J.: Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag (1993)
6. DeLine, R., Fähndrich, M.: The Fugue protocol checker: Is your software Baroque? Technical Report MSR-TR-2004-07, Microsoft Research (2004) URL: http://research.microsoft.com/~maf/fugue.
7. Smith, F., Walker, D., Morrisett, J.G.: Alias types. In: European Symposium on Programming. (2000) 366-381
8. Walker, D., Morrisett, G.: Alias types for recursive data structures. In: Proceedings of the 4th Workshop on Types in Compilation. (2000)
9. Tofte, M., Talpin, J.P.: Implementation of the typed call-by-value A-calculus using a stack of regions. In: Conference Record of the 21st Annual ACM Symposium on Principles of Programming Languages. (1994) 188-201
10. Crary, K., Walker, D., Morrisett, G.: Typed memory management in a calculus of capabilities. In: Conference Record of the 26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press (1999)
11. Wadler, P.: Linear types can change the world! In Broy, M., Jones, C., eds.: Programming Concepts and Methods. (1990) IFIP TC 2 Working Conference.
12. Boyland, J.: Alias burying: Unique variables without destructive reads. SoftwarePractice and Experience 31 (2001) 533-553
13. Kuncak, V., Lam, P., Rinard, M.: Role analysis. In: Conference Record of the 29th Annual ACM Symposium on Principles of Programming Languages. (2002)
14. Detlefs, D.L., Leino, K.R.M., Nelson, G., Saxe, J.B.: Extended static checking. Research Report 159, Compaq Systems Research Center (1998)
15. Leino, K.R.M., Stata, R.: Checking object invariants. Technical Report #1997-007, DEC SRC, Palo Alto, USA (1997)
16. Liskov, B.H., Wing, J.M.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16 (1994) 1811-1841
17. Rémy, D., Vouillon, J.: Objective ML: an effective object-oriented extension to ML. Theory and Practice of Object Systems 4 (1998) 27-50
18. Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation. (2002)