메뉴 건너뛰기




Volumn 42, Issue 10, 2007, Pages 461-478

Ownership transfer in universe types

Author keywords

Aliasing; Ownership Transfer; Uniqueness; Universe Types

Indexed keywords

DATA STRUCTURES; STATIC ANALYSIS;

EID: 67650033102     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1297105.1297061     Document Type: Article
Times cited : (24)

References (42)
  • 1
    • 35048849111 scopus 로고    scopus 로고
    • Ownership domains: Separating aliasing policy from mechanism
    • M. Odersky, editor, European Conference on Object-Oriented Programming ECOOP, of, Springer-Verlag
    • J. Aldrich and C. Chambers. Ownership domains: Separating aliasing policy from mechanism. In M. Odersky, editor, European Conference on Object-Oriented Programming (ECOOP), volume 3086 of LNCS, pages 1-25. Springer-Verlag, 2004.
    • (2004) LNCS , vol.3086 , pp. 1-25
    • Aldrich, J.1    Chambers, C.2
  • 3
    • 33746617335 scopus 로고    scopus 로고
    • Scoped types and aspects for real-time systems
    • D. Tomas, editor, European Conference on Object-Oriented Programming ECOOP, of, Springer-Verlag
    • C. Andrea, Y. Coady, C. Gibbs, J. Noble, J. Vitek, and T. Zhao. Scoped types and aspects for real-time systems. In D. Tomas, editor, European Conference on Object-Oriented Programming (ECOOP), volume 4067 of LNCS. Springer-Verlag, 2006.
    • (2006) LNCS , vol.4067
    • Andrea, C.1    Coady, Y.2    Gibbs, C.3    Noble, J.4    Vitek, J.5    Zhao, T.6
  • 5
    • 42149162676 scopus 로고    scopus 로고
    • Ownership: Transfer, sharing, and encapsulation
    • S. Eisenbach, G. T. Leavens, P. Müller, A. Poetzsch-Heffter, and E. Poll, editors
    • A. Banerjee and D. Naumann. Ownership: transfer, sharing, and encapsulation. In S. Eisenbach, G. T. Leavens, P. Müller, A. Poetzsch-Heffter, and E. Poll, editors, Formal Techniques for Java-like Programs, 2003.
    • (2003) Formal Techniques for Java-like Programs
    • Banerjee, A.1    Naumann, D.2
  • 10
    • 0035335990 scopus 로고    scopus 로고
    • Alias burying: Unique variables without destructive reads
    • J. Boyland. Alias burying: unique variables without destructive reads. Software - Practice and Experience, 31(6):533-553, 2001.
    • (2001) Software - Practice and Experience , vol.31 , Issue.6 , pp. 533-553
    • Boyland, J.1
  • 12
    • 38149109170 scopus 로고    scopus 로고
    • Non-null references by default in Java: Alleviating the nullity annotation burden
    • E. Ernst, editor, European Conference on Object-Oriented Programming ECOOP, Springer-Verlag, To appear
    • P. Chalin and P. James. Non-null references by default in Java: Alleviating the nullity annotation burden. In E. Ernst, editor, European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag, 2007. To appear.
    • (2007) LNCS
    • Chalin, P.1    James, P.2
  • 15
    • 35248876311 scopus 로고    scopus 로고
    • External uniqueness is unique enough
    • L. Cardelli, editor, European Conference on Object-Oriented Programming ECOOP, of, Springer-Verlag
    • D. Clarke and T. Wrigstad. External uniqueness is unique enough. In L. Cardelli, editor, European Conference on Object-Oriented Programming (ECOOP), volume 2743 of LNCS, pages 176-200. Springer-Verlag, 2003.
    • (2003) LNCS , vol.2743 , pp. 176-200
    • Clarke, D.1    Wrigstad, T.2
  • 16
    • 0348137542 scopus 로고    scopus 로고
    • Ownership types for flexible alias protection
    • Object-Oriented Programming Systems, Languages, and Applications (OOPSLA, 10) of
    • D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), volume 33(10) of ACM SIGPLAN Notices, 1998.
    • (1998) ACM SIGPLAN Notices , vol.33
    • Clarke, D.G.1    Potter, J.M.2    Noble, J.3
  • 17
    • 0037842606 scopus 로고    scopus 로고
    • Wrestling with rep exposure
    • Digital Systems Research Center
    • D. L. Detlefs, K. R. M. Leino, and G. Nelson. Wrestling with rep exposure. Research Report 156, Digital Systems Research Center, 1998.
    • (1998) Research Report , vol.156
    • Detlefs, D.L.1    Leino, K.R.M.2    Nelson, G.3
  • 18
    • 42149095799 scopus 로고    scopus 로고
    • Formalization of Generic Universe Types. Technical Report 532, ETH Zurich
    • sct.inf.ethz.ch/ publications
    • W. Dietl, S. Drossopoulou, and P. Müller. Formalization of Generic Universe Types. Technical Report 532, ETH Zurich, 2006. sct.inf.ethz.ch/ publications.
    • (2006)
    • Dietl, W.1    Drossopoulou, S.2    Müller, P.3
  • 19
    • 38149035265 scopus 로고    scopus 로고
    • Generic Universe Types
    • E. Ernst, editor, European Conference on Object-Oriented Programming ECOOP, Springer-Verlag, To appear
    • W. Dietl, S. Drossopoulou, and P. Müller. Generic Universe Types. In E. Ernst, editor, European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag, 2007. To appear.
    • (2007) LNCS
    • Dietl, W.1    Drossopoulou, S.2    Müller, P.3
  • 21
    • 34748826163 scopus 로고    scopus 로고
    • Language support for fast and reliable message-based communication in Singularity OS
    • ACM Press
    • M. Fähndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. Hunt, J. R. Larus, and S. Levi. Language support for fast and reliable message-based communication in Singularity OS. In EuroSys '06, pages 177-190. ACM Press, 2006.
    • (2006) EuroSys '06 , pp. 177-190
    • Fähndrich, M.1    Aiken, M.2    Hawblitzel, C.3    Hodson, O.4    Hunt, G.5    Larus, J.R.6    Levi, S.7
  • 24
    • 37149051628 scopus 로고    scopus 로고
    • Immutable objects for a Java-like language
    • R. D. Nicola, editor, European Symposium on Programming ESOP, of, Springer-Verlag
    • C. Haack, E. Poll, J. Schäfer, and A. Schubert. Immutable objects for a Java-like language. In R. D. Nicola, editor, European Symposium on Programming (ESOP), volume 4421 of LNCS. Springer-Verlag, 2007.
    • (2007) LNCS , vol.4421
    • Haack, C.1    Poll, E.2    Schäfer, J.3    Schubert, A.4
  • 27
    • 67650086741 scopus 로고    scopus 로고
    • M. Klebermaß. An Isabelle formalization of the Universe Type System. Master's thesis, Technische Universität München, 2007. sct.inf.ethz.ch/projects/student-docs/Martin-Klebermass.
    • M. Klebermaß. An Isabelle formalization of the Universe Type System. Master's thesis, Technische Universität München, 2007. sct.inf.ethz.ch/projects/student-docs/Martin-Klebermass.
  • 29
    • 35048835831 scopus 로고    scopus 로고
    • Object invariants in dynamic contexts
    • M. Odersky, editor, European Conference on Object-Oriented Programming ECOOP, of, Springer-Verlag
    • K. R. M. Leino and P. Müller. Object invariants in dynamic contexts. In M. Odersky, editor, European Conference on Object-Oriented Programming (ECOOP), volume 3086 of LNCS, pages 491-516. Springer-Verlag, 2004.
    • (2004) LNCS , vol.3086 , pp. 491-516
    • Leino, K.R.M.1    Müller, P.2
  • 30
    • 33745816403 scopus 로고    scopus 로고
    • Protecting representation with effect encapsulation
    • ACM Press
    • Y. Lu and J. Potter. Protecting representation with effect encapsulation. In Principles of programming languages (POPL), pages 359-371. ACM Press, 2006.
    • (2006) Principles of programming languages (POPL) , pp. 359-371
    • Lu, Y.1    Potter, J.2
  • 31
    • 42149171592 scopus 로고    scopus 로고
    • Object Invariants and Effects
    • European Conference on Object-Oriented Programming ECOOP, Springer-Verlag, To appear
    • Y. Lu, J. Potter, and J. Xue. Object Invariants and Effects. In European Conference on Object-Oriented Programming (ECOOP), LNCS. Springer-Verlag, 2007. To appear.
    • (2007) LNCS
    • Lu, Y.1    Potter, J.2    Xue, J.3
  • 32
    • 84955601299 scopus 로고    scopus 로고
    • Towards alias-free pointers
    • P. Cointe, editor, European Conference on Object-Oriented Programming ECOOP, of, Springer-Verlag
    • N. H. Minsky. Towards alias-free pointers. In P. Cointe, editor, European Conference on Object-Oriented Programming (ECOOP), volume 1098 of LNCS, pages 189-209. Springer-Verlag, 1996.
    • (1996) LNCS , vol.1098 , pp. 189-209
    • Minsky, N.H.1
  • 33
    • 23944503050 scopus 로고    scopus 로고
    • Modular Specification and Verification of Object-Oriented programs
    • of, Springer-Verlag
    • P. Müller. Modular Specification and Verification of Object-Oriented programs, volume 2262 of LNCS. Springer-Verlag, 2002.
    • (2002) LNCS , vol.2262
    • Müller, P.1
  • 35
    • 42149149133 scopus 로고    scopus 로고
    • Formalization of ownership transfer in Universe Types. Technical Report 556, ETH Zurich
    • sct.inf.ethz.ch/ publications
    • P. Müller and A. Rudich. Formalization of ownership transfer in Universe Types. Technical Report 556, ETH Zurich, 2007. sct.inf.ethz.ch/ publications.
    • (2007)
    • Müller, P.1    Rudich, A.2
  • 36
    • 67650033433 scopus 로고    scopus 로고
    • S. Nägeli. Ownership in design patterns. Master's thesis, ETH Zurich, 2006. sct.inf.ethz.ch/projects/student-docs/Stefan-Naegeli.
    • S. Nägeli. Ownership in design patterns. Master's thesis, ETH Zurich, 2006. sct.inf.ethz.ch/projects/student-docs/Stefan-Naegeli.
  • 37
    • 84957718680 scopus 로고    scopus 로고
    • Flexible alias protection
    • E. Jul, editor, European Conference on Object-Oriented Programming ECOOP, of, Springer-Verlag
    • J. Noble, J. Vitek, and J. M. Potter. Flexible alias protection. In E. Jul, editor, European Conference on Object-Oriented Programming (ECOOP), volume 1445 of LNCS. Springer-Verlag, 1998.
    • (1998) LNCS , vol.1445
    • Noble, J.1    Vitek, J.2    Potter, J.M.3
  • 38
    • 33750382701 scopus 로고    scopus 로고
    • Generic ownership for generic Java
    • Object-Oriented Programming Systems, Languages, and Applications OOPSLA, ACM Press
    • A. Potanin, J. Noble, D. Clarke, and R. Biddle. Generic ownership for generic Java. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), ACM SIGPLAN Notices, pages 311-324. ACM Press, 2006.
    • (2006) ACM SIGPLAN Notices , pp. 311-324
    • Potanin, A.1    Noble, J.2    Clarke, D.3    Biddle, R.4
  • 39
    • 37149024869 scopus 로고    scopus 로고
    • Modular shape analysis for dynamically encapsulated programs
    • R. D. Nicola, editor, European Symposium on Programming ESOP, of, Springer-Verlag
    • N. Rinetzky, A. Poetzsch-Heffter, G. Ramalingam, M. Sagiv, and E. Yahav. Modular shape analysis for dynamically encapsulated programs. In R. D. Nicola, editor, European Symposium on Programming (ESOP), volume 4421 of LNCS. Springer-Verlag, 2007.
    • (2007) LNCS , vol.4421
    • Rinetzky, N.1    Poetzsch-Heffter, A.2    Ramalingam, G.3    Sagiv, M.4    Yahav, E.5
  • 41
    • 67650097363 scopus 로고    scopus 로고
    • Y. Takano. Implementing uniqueness and ownership transfer in the Universe Type System. Master's thesis, ETH Zurich, 2007. sct.inf.ethz.ch/projects/ student-docs/Yoshimi-Takano.
    • Y. Takano. Implementing uniqueness and ownership transfer in the Universe Type System. Master's thesis, ETH Zurich, 2007. sct.inf.ethz.ch/projects/ student-docs/Yoshimi-Takano.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.