메뉴 건너뛰기




Volumn 2005, Issue , 2005, Pages 139-150

Trace effects and object orientation

Author keywords

Type and effect; Type constraints

Indexed keywords

INFERENCE ALGORITHMS; TRACE EFFECT ANALYSIS; TYPE CONSTRAINTS; TYPES AND EFFECTS;

EID: 33746080914     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1069774.1069787     Document Type: Conference Paper
Times cited : (11)

References (29)
  • 4
    • 84947232436 scopus 로고    scopus 로고
    • Bebop: A symbolic model checker for boolean programs
    • Thomas Ball and Sriram K. Rajamani. Bebop: A symbolic model checker for boolean programs. In SPIN, pages 113-130, 2000.
    • (2000) SPIN , pp. 113-130
    • Ball, T.1    Rajamani, S.K.2
  • 9
    • 0012626037 scopus 로고    scopus 로고
    • Verification on infinite structures
    • S. Smolka J. Bergstra, A. Pons, editor, North-Holland
    • O. Burkart, D. Caucal, F. Moller, , and B. Steffen. Verification on infinite structures. In S. Smolka J. Bergstra, A. Pons, editor, Handbook on Process Algebra. North-Holland, 2001.
    • (2001) Handbook on Process Algebra
    • Burkart, O.1    Caucal, D.2    Moller, F.3    Steffen, B.4
  • 14
    • 19144363683 scopus 로고
    • Type inference for recursively constrained types and its application to OOP
    • Mathematical Foundations of Programming Semantics, Elsevier Science
    • Jonathan Eifrig, Scott Smith, and Valery Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, volume 1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 1995.
    • (1995) Electronic Notes in Theoretical Computer Science , vol.1
    • Eifrig, J.1    Smith, S.2    Trifonov, V.3
  • 16
    • 0035361164 scopus 로고    scopus 로고
    • Software model checking: Extracting verification models from source code
    • Gerard J. Holzmann and Margaret H. Smith. Software model checking: extracting verification models from source code. Software Testing, Verification & Reliability, 11(2):65-79, 2001.
    • (2001) Software Testing, Verification & Reliability , vol.11 , Issue.2 , pp. 65-79
    • Holzmann, G.J.1    Smith, M.H.2
  • 18
    • 0012583283 scopus 로고    scopus 로고
    • Featherweight Java: A minimal core calculus for Java and GJ
    • Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst., 23(3):396-450, 2001.
    • (2001) ACM Trans. Program. Lang. Syst. , vol.23 , Issue.3 , pp. 396-450
    • Igarashi, A.1    Pierce, B.C.2    Wadler, P.3
  • 21
    • 35048831305 scopus 로고    scopus 로고
    • Separate compositional analysis of class-based object-oriented languages
    • Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST'2004), Springer-Verlag, July
    • Francesco Logozzo. Separate compositional analysis of class-based object-oriented languages. In Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST'2004), volume 3116 of Lectures Notes in Computer Science, pages 332-346. Springer-Verlag, July 2004.
    • (2004) Lectures Notes in Computer Science , vol.3116 , pp. 332-346
    • Logozzo, F.1
  • 24
    • 35048838770 scopus 로고    scopus 로고
    • History effects and verification
    • number 3302 in Lecture Notes in Computer Science. Springer, November
    • Christian Skalka and Scott Smith. History effects and verification. In Asian Programming Languages Symposium, number 3302 in Lecture Notes in Computer Science. Springer, November 2004.
    • (2004) Asian Programming Languages Symposium
    • Skalka, C.1    Smith, S.2
  • 26
    • 85029621995 scopus 로고
    • Model checking for context-free processes
    • CONCUR'92, Stony Brook (NY), Heidelberg, Germany, Springer-Verlag
    • B. Steffen and O. Burkart. Model checking for context-free processes. In CONCUR'92, Stony Brook (NY), volume 630 of Lecture Notes in Computer Science (LNCS), pages 123-137, Heidelberg, Germany, 1992. Springer-Verlag.
    • (1992) Lecture Notes in Computer Science (LNCS) , vol.630 , pp. 123-137
    • Steffen, B.1    Burkart, O.2


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