메뉴 건너뛰기




Volumn 40, Issue 1, 2005, Pages 296-309

A semantics for procedure local heaps and its abstractions

Author keywords

3 valued logic; Abstract interpretation; Shape analysis; Static analysis

Indexed keywords

ABSTRACTING; ALGORITHMS; DATA ACQUISITION; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

EID: 17044424894     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1047659.1040330     Document Type: Conference Paper
Times cited : (33)

References (21)
  • 2
    • 17044399069 scopus 로고    scopus 로고
    • Static analysis of accessed regions in recursive data structures
    • S. Chong and R. Rugina. Static analysis of accessed regions in recursive data structures. In SAS, 2003.
    • (2003) SAS
    • Chong, S.1    Rugina, R.2
  • 3
    • 0014797273 scopus 로고
    • A relational model of data for large shared data banks
    • E. F. Codd. A relational model of data for large shared data banks. Communications of the ACM, 13(6):377-387, 1970.
    • (1970) Communications of the ACM , vol.13 , Issue.6 , pp. 377-387
    • Codd, E.F.1
  • 4
    • 0018294932 scopus 로고
    • Systematic design of program analysis frameworks
    • New York, NY. ACM Press
    • P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269-282, New York, NY, 1979. ACM Press.
    • (1979) Symp. on Princ. of Prog. Lang. , pp. 269-282
    • Cousot, P.1    Cousot, R.2
  • 6
    • 0027061682 scopus 로고
    • A storeless model for aliasing and its abstractions using finite representations of right-regular equivalence relations
    • Washington, DC. IEEE Press
    • A. Deutsch. A storeless model for aliasing and its abstractions using finite representations of right-regular equivalence relations. In IEEE International Conference on Computer Languages, pages 2-13, Washington, DC, 1992. IEEE Press.
    • (1992) IEEE International Conference on Computer Languages , pp. 2-13
    • Deutsch, A.1
  • 7
    • 0027961596 scopus 로고
    • Interprocedural may-alias analysis for pointers: Beyond k-limiting
    • New York, NY. ACM Press
    • A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 230-241, New York, NY, 1994. ACM Press.
    • (1994) SIGPLAN Conf. on Prog. Lang. Design and Impl. , pp. 230-241
    • Deutsch, A.1
  • 10
    • 0019688258 scopus 로고
    • Abstract storage structures
    • de Bakker and van Vllet, editors. IFIP, North Holland
    • H.B.M. Jonkers. Abstract storage structures. In de Bakker and van Vllet, editors, Algorithmic Languages, pages 321-343. IFIP, North Holland, 1981.
    • (1981) Algorithmic Languages , pp. 321-343
    • Jonkers, H.B.M.1
  • 15
    • 0036051192 scopus 로고    scopus 로고
    • Separation logic: A logic for shared mutable data structures
    • J. Reynolds. Separation logic: a logic for shared mutable data structures. In Logic in Computer Science, pages 55-74, 2002.
    • (2002) Logic in Computer Science , pp. 55-74
    • Reynolds, J.1
  • 16
    • 4243585022 scopus 로고    scopus 로고
    • Master's thesis, Technion Israel Institute of Technology, Haifa, Israel
    • N. Rinetzky. Interprocedural shape analysis. Master's thesis, Technion Israel Institute of Technology, Haifa, Israel, 2001.
    • (2001) Interprocedural Shape Analysis
    • Rinetzky, N.1
  • 17
    • 17044384722 scopus 로고    scopus 로고
    • A semantics for procedure local heaps and its abstractions
    • AVACS, October
    • N. Rinetzky, J. Bauer, T. Reps, M. Sagiv, and R. Wilhelm. A semantics for procedure local heaps and its abstractions. Tech. Rep. 1, AVACS, October 2004. Available at "http://www.avacs.org".
    • (2004) Tech. Rep. , vol.1
    • Rinetzky, N.1    Bauer, J.2    Reps, T.3    Sagiv, M.4    Wilhelm, R.5
  • 18
    • 84958978460 scopus 로고    scopus 로고
    • Interprocedural shape analysis for recursive programs
    • N. Rinetzky and M. Sagiv. Interprocedural shape analysis for recursive programs. In Int. Conf. on Comp. Construct., pages 133-149, 2001.
    • (2001) Int. Conf. on Comp. Construct. , pp. 133-149
    • Rinetzky, N.1    Sagiv, M.2
  • 19
    • 17044374137 scopus 로고    scopus 로고
    • Interprocedural functional shape analysis using local heaps
    • Tel Aviv Uni., November
    • N. Rinetzky, M. Sagiv, and E. Yahav. Interprocedural functional shape analysis using local heaps. Tech. Rep. 26, Tel Aviv Uni., November 2004. Available at "http://www.math.tau.ac.il/~maon".
    • (2004) Tech. Rep. , vol.26
    • Rinetzky, N.1    Sagiv, M.2    Yahav, E.3
  • 21
    • 0033225337 scopus 로고    scopus 로고
    • Automatic analysis of pointer aliasing for untyped programs
    • A. Venet. Automatic analysis of pointer aliasing for untyped programs. Science of Computer Programming, 35(2):223-248, 1999.
    • (1999) Science of Computer Programming , vol.35 , Issue.2 , pp. 223-248
    • Venet, A.1


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