-
1
-
-
35048849111
-
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
-
2
-
-
0037586482
-
Alias annotations for program understanding
-
ACM Press
-
J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Object-oriented programming, systems, languages, and applications (OOPSLA), pages 311-330. ACM Press, 2002.
-
(2002)
Object-oriented programming, systems, languages, and applications (OOPSLA)
, pp. 311-330
-
-
Aldrich, J.1
Kostadinov, V.2
Chambers, C.3
-
3
-
-
33746617335
-
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
-
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
-
7
-
-
0037924416
-
Ownership types for safe programming: Preventing data races and deadlocks
-
ACM Press
-
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 211-230. ACM Press, 2002.
-
(2002)
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
, pp. 211-230
-
-
Boyapati, C.1
Lee, R.2
Rinard, M.3
-
9
-
-
0038039788
-
Ownership types for safe region-based memory management in real-time Java
-
ACM Press
-
C. Boyapati, A. Salcianu, J. W. Beebee, and M. Rinard. Ownership types for safe region-based memory management in real-time Java. In Programming language design and implementation (PLDI), pages 324-337. ACM Press, 2003.
-
(2003)
Programming language design and implementation (PLDI)
, pp. 324-337
-
-
Boyapati, C.1
Salcianu, A.2
Beebee, J.W.3
Rinard, M.4
-
10
-
-
0035335990
-
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
-
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
-
14
-
-
0037586483
-
Ownership, encapsulation and the disjointness of type and effect
-
ACM Press
-
D. Clarke and S. Drossopoulou. Ownership, encapsulation and the disjointness of type and effect. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 292-310. ACM Press, 2002.
-
(2002)
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
, pp. 292-310
-
-
Clarke, D.1
Drossopoulou, S.2
-
15
-
-
35248876311
-
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
-
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
-
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
-
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
-
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
-
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
-
23
-
-
1442313104
-
Declaring and checking non-null types in an object-oriented language
-
ACM Press
-
M. Fähndrich and K. R. M. Leino. Declaring and checking non-null types in an object-oriented language. In Object-oriented programing, systems, languages, and applications (OOPSLA), pages 302-312. ACM Press, 2003.
-
(2003)
Object-oriented programing, systems, languages, and applications (OOPSLA)
, pp. 302-312
-
-
Fähndrich, M.1
Leino, K.R.M.2
-
24
-
-
37149051628
-
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
-
26
-
-
33749412165
-
Safe concurrency for aggregate objects with invariants
-
IEEE Computer Society
-
B. Jacobs, F. Piessens, K. R. M. Leino, and W. Schulte. Safe concurrency for aggregate objects with invariants. In Software Engineering and Formal Methods (SEFM), pages 137-147. IEEE Computer Society, 2005.
-
(2005)
Software Engineering and Formal Methods (SEFM)
, pp. 137-147
-
-
Jacobs, B.1
Piessens, F.2
Leino, K.R.M.3
Schulte, W.4
-
27
-
-
67650086741
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
40
-
-
0039488517
-
Parametric shape analysis via 3-valued logic
-
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems, 24(3):217-298, 2002.
-
(2002)
ACM Transactions on Programming Languages and Systems
, vol.24
, Issue.3
, pp. 217-298
-
-
Sagiv, M.1
Reps, T.2
Wilhelm, R.3
-
41
-
-
67650097363
-
-
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.
-
-
-
|