메뉴 건너뛰기




Volumn 5356 LNCS, Issue , 2008, Pages 155-170

Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 58549083355     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89330-1_12     Document Type: Conference Paper
Times cited : (30)

References (17)
  • 2
    • 0037924416 scopus 로고    scopus 로고
    • Ownership types for safe programming: Preventing data races and deadlocks
    • Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA, November, ) 2002
    • Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: Preventing data races and deadlocks. In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2002), SIGPLAN Notices, November 2002. vol. 37, pp. 211-230 (2002)
    • (2002) SIGPLAN Notices , vol.37 , pp. 211-230
    • Boyapati, C.1    Lee, R.2    Rinard, M.3
  • 3
    • 35248819194 scopus 로고    scopus 로고
    • Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, 2694, pp. 55-72. Springer, Heidelberg (2003)
    • Boyland, J.: Checking interference with fractional permissions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol. 2694, pp. 55-72. Springer, Heidelberg (2003)
  • 5
    • 58549121254 scopus 로고    scopus 로고
    • Dahyabhai, N.: Bugzilla Bug 439215: dbus-daemon-1 hangs when using the option nss-initgroups-ignoreusers in/etc/ldap.conf. with the user root. Red Hat, Inc (accessed on June 19, 2008) (March 2008), https://bugzilla.redhat.com/show- bug.cgi?id=439215
    • Dahyabhai, N.: Bugzilla Bug 439215: dbus-daemon-1 hangs when using the option nss-initgroups-ignoreusers in/etc/ldap.conf. with the user root. Red Hat, Inc (accessed on June 19, 2008) (March 2008), https://bugzilla.redhat.com/show- bug.cgi?id=439215
  • 7
    • 84888243417 scopus 로고    scopus 로고
    • Object types against races
    • Baeten, J.C.M, Mauw, S, eds, CONCUR, 1999, Springer, Heidelberg
    • Flanagan, C., Abadi, M.: Object types against races. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR, 1999. LNCS, vol. 1664, pp. 288-303. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.1664 , pp. 288-303
    • Flanagan, C.1    Abadi, M.2
  • 8
    • 84957892301 scopus 로고    scopus 로고
    • Flanagan, C., Abadi, M.: Types for safe locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, 1576, pp. 91-108. Springer, Heidelberg (1999)
    • Flanagan, C., Abadi, M.: Types for safe locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 91-108. Springer, Heidelberg (1999)
  • 10
    • 58549086245 scopus 로고    scopus 로고
    • Kikuchi, D., Kobayashi, N.: Type-based verification of correspondence assertions for communication protocols. In: Proceedings of the Fifth ASIAN Symposium on Programming Languages and Systems (November 2007)
    • Kikuchi, D., Kobayashi, N.: Type-based verification of correspondence assertions for communication protocols. In: Proceedings of the Fifth ASIAN Symposium on Programming Languages and Systems (November 2007)
  • 11
    • 29044432466 scopus 로고    scopus 로고
    • Type-based information flow analysis for the pi-calculus
    • Kobayashi, N.: Type-based information flow analysis for the pi-calculus. Acta Informatica 42(4-5), 291-347 (2005)
    • (2005) Acta Informatica , vol.42 , Issue.4-5 , pp. 291-347
    • Kobayashi, N.1
  • 12
    • 33749549307 scopus 로고    scopus 로고
    • A new type system for deadlock-free processes
    • Baier, C, Hermanns, H, eds, CONCUR 2006, Springer, Heidelberg
    • Kobayashi, N.: A new type system for deadlock-free processes. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 233-247. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.4137 , pp. 233-247
    • Kobayashi, N.1
  • 13
    • 43149096293 scopus 로고    scopus 로고
    • Substructural type systems for program analysis
    • Garrigue, J, Hermenegildo, M.V, eds, FLOPS 2008, Springer, Heidelberg
    • Kobayashi, N.: Substructural type systems for program analysis. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, p. 14. Springer, Heidelberg (2008), http://www.kb.ecei.tohoku.ac. jp/~koba/slides/ FL0PS2008.pdf
    • (2008) LNCS , vol.4989 , pp. 14
    • Kobayashi, N.1
  • 14
    • 84885206872 scopus 로고    scopus 로고
    • An implicitly-typed deadlock-free process calculus
    • Palamidessi, C, ed, CONCUR 2000, Springer, Heidelberg
    • Kobayashi, N., Saito, S., Sumii, E.: An implicitly-typed deadlock-free process calculus. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 489-503. Springer, Heidelberg (2000)
    • (2000) LNCS , vol.1877 , pp. 489-503
    • Kobayashi, N.1    Saito, S.2    Sumii, E.3
  • 15
    • 84974715481 scopus 로고    scopus 로고
    • A typed interrupt calculus
    • Damm, W, Olderog, E.-R, eds, FTRTFT 2002, Springer, Heidelberg
    • Palsberg, J., Ma, D.: A typed interrupt calculus. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 291-310. Springer, Heidelberg (2002)
    • (2002) LNCS , vol.2469 , pp. 291-310
    • Palsberg, J.1    Ma, D.2
  • 16
    • 37149040823 scopus 로고    scopus 로고
    • Suenaga, K., Kobayashi, N.: Type-based analysis of deadlock for a concurrent calculus with interrupts. In: De Nicola, R. (ed.) ESOP 2007. LNCS, 4421, pp. 490-504. Springer, Heidelberg (2007)
    • Suenaga, K., Kobayashi, N.: Type-based analysis of deadlock for a concurrent calculus with interrupts. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 490-504. Springer, Heidelberg (2007)
  • 17
    • 58549099786 scopus 로고    scopus 로고
    • PhD thesis, Electrical Engineering and Computer Sciences, University of California at Berkeley August
    • Terauchi, T.: Types for Deterministic Concurrency. PhD thesis, Electrical Engineering and Computer Sciences, University of California at Berkeley (August 2006)
    • (2006) Types for Deterministic Concurrency
    • Terauchi, T.1


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