메뉴 건너뛰기




Volumn 5140 LNCS, Issue , 2008, Pages 199-215

Separation logic contracts for a Java-like language with fork/join

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; CONTRACTS; FORMAL LOGIC; ISOMERS; LINGUISTICS; MATRIX ALGEBRA; SEPARATION; TECHNOLOGY;

EID: 51049113221     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79980-1_16     Document Type: Conference Paper
Times cited : (24)

References (30)
  • 5
    • 35248819194 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 13
    • 0002508811 scopus 로고
    • 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
  • 16
    • 46049101318 scopus 로고    scopus 로고
    • 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
  • 20
    • 33845245278 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 25
    • 34250222355 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


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