-
1
-
-
4644269527
-
Verification of object-oriented programs with invariants
-
Barnett, M., DeLine, R., Fähndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology 3(6) (2004)
-
(2004)
Journal of Object Technology
, vol.3
, Issue.6
-
-
Barnett, M.1
DeLine, R.2
Fähndrich, M.3
Leino, K.R.M.4
Schulte, W.5
-
4
-
-
29144448787
-
Permission accounting in separation logic
-
ACM Press, New York
-
Bornat, R., O'Hearn, P., Calcagno, C., Parkinson, M.: Permission accounting in separation logic. In: Principles of Programming Languages. ACM Press, New York (2005)
-
(2005)
Principles of Programming Languages
-
-
Bornat, R.1
O'Hearn, P.2
Calcagno, C.3
Parkinson, M.4
-
5
-
-
35248819194
-
-
Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, 2694. Springer, Heidelberg (2003)
-
Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694. Springer, Heidelberg (2003)
-
-
-
-
6
-
-
51049093729
-
Semantics of fractional permissions with nesting
-
Technical report, University of Wisconsin at Milwaukee
-
Boyland, J.: Semantics of fractional permissions with nesting. Technical report, University of Wisconsin at Milwaukee (2007)
-
(2007)
-
-
Boyland, J.1
-
8
-
-
70349480857
-
Iterators can be independent "from" their collections
-
Boyland, J., Retert, W., Zhao, Y.: Iterators can be independent "from" their collections. In: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (2007)
-
(2007)
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming
-
-
Boyland, J.1
Retert, W.2
Zhao, Y.3
-
9
-
-
84865622585
-
Enhancing modular OO verification with separation logic
-
Chin, W., David, C., Nguyen, H., Qin, S.: Enhancing modular OO verification with separation logic. In: Principles of Programming Languages (2008)
-
(2008)
Principles of Programming Languages
-
-
Chin, W.1
David, C.2
Nguyen, H.3
Qin, S.4
-
13
-
-
0002508811
-
Linear logic: Its syntax and semantics
-
Girard, J.-Y, Lafont, Y, Regnier, L, eds, Cambridge University Press, Cambridge
-
Girard, J.-Y.: Linear logic: Its syntax and semantics. In: Girard, J.-Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic. Cambridge University Press, Cambridge (1995)
-
(1995)
Advances in Linear Logic
-
-
Girard, J.-Y.1
-
14
-
-
38149065911
-
Local reasoning for storable locks and threads
-
Gotsman, A., Berdine, J., Cook, B., Rinetzky, N., Sagiv, M.: Local reasoning for storable locks and threads. In: Asian Programming Languages and Systems Symposium (2007)
-
(2007)
Asian Programming Languages and Systems Symposium
-
-
Gotsman, A.1
Berdine, J.2
Cook, B.3
Rinetzky, N.4
Sagiv, M.5
-
16
-
-
46049101318
-
Separation logic contracts for a Java-like language with fork/join
-
Technical Report 6430, INRIA
-
Haack, C., Hurlin, C.: Separation logic contracts for a Java-like language with fork/join. Technical Report 6430, INRIA (2008)
-
(2008)
-
-
Haack, C.1
Hurlin, C.2
-
17
-
-
0012583283
-
Featherweight Java: A minimal core calculus for Java and GJ
-
Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3) (2001)
-
(2001)
ACM Trans. Program. Lang. Syst
, vol.23
, Issue.3
-
-
Igarashi, A.1
Pierce, B.2
Wadler, P.3
-
20
-
-
33845245278
-
Preliminary design of JML: A behavioral interface specification language for Java
-
Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: a behavioral interface specification language for Java. SIGSOFT Software Engineering Notes 31(3) (2006)
-
(2006)
SIGSOFT Software Engineering Notes
, vol.31
, Issue.3
-
-
Leavens, G.T.1
Baker, A.L.2
Ruby, C.3
-
22
-
-
34047114898
-
Resources, concurrency and local reasoning
-
O'Hearn, P.: Resources, concurrency and local reasoning. Theor. Comp. Science 375(1-3) (2007)
-
(2007)
Theor. Comp. Science
, vol.375
, Issue.1-3
-
-
O'Hearn, P.1
-
24
-
-
2442441012
-
Separation and information hiding
-
Venice, Italy. ACM Press, New York
-
O'Hearn, P.W., Yang, H., Reynolds, J.C.: Separation and information hiding. In: Principles of Programming Languages, Venice, Italy. ACM Press, New York (2004)
-
(2004)
Principles of Programming Languages
-
-
O'Hearn, P.W.1
Yang, H.2
Reynolds, J.C.3
-
25
-
-
34250222355
-
Local reasoning for Java
-
Technical Report UCAM-CL-TR-654, University of Cambridge
-
Parkinson, M.: Local reasoning for Java. Technical Report UCAM-CL-TR-654, University of Cambridge (2005)
-
(2005)
-
-
Parkinson, M.1
-
28
-
-
0036051192
-
Separation logic: A logic for shared mutable data structures
-
Copenhagen, Denmark. IEEE Press, Los Alamitos
-
Reynolds, J.C: Separation logic: A logic for shared mutable data structures. In: Logic in Computer Science, Copenhagen, Denmark. IEEE Press, Los Alamitos (2002)
-
(2002)
Logic in Computer Science
-
-
Reynolds, J.C.1
-
29
-
-
84947255140
-
Alias types
-
Smolka, G, ed, ESOP 2000 and ETAPS 2000, Springer, Heidelberg
-
Smith, F., Walker, D., Morrisett, G.: Alias types. In: Smolka, G. (ed.) ESOP 2000 and ETAPS 2000. LNCS, vol. 1782. Springer, Heidelberg (2000)
-
(2000)
LNCS
, vol.1782
-
-
Smith, F.1
Walker, D.2
Morrisett, G.3
|