메뉴 건너뛰기




Volumn , Issue , 2011, Pages 3-14

Linear maps

Author keywords

Languages; Reliability; Theory; Verification

Indexed keywords

INFORMATION HIDING; LANGUAGES; LARGE PROGRAMS; LINEAR MAPS; LOCAL REASONING; MODULAR REASONING; PARTIAL FUNCTIONS; PROCEDURE CALL; PROGRAM LOGIC; THEORY;

EID: 79952176842     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1929529.1929531     Document Type: Conference Paper
Times cited : (17)

References (30)
  • 4
    • 0002738295 scopus 로고
    • Some techniques for proving correctness of programs which alter data structures
    • R. Burstall. Some techniques for proving correctness of programs which alter data structures. Machine Intelligence, 7:23-50, 1972.
    • (1972) Machine Intelligence , vol.7 , pp. 23-50
    • Burstall, R.1
  • 9
    • 24944448541 scopus 로고    scopus 로고
    • Simplify: A theorem prover for program checking
    • DOI 10.1145/1066100.1066102
    • D. Detlefs, G. Nelson, and J. B. Saxe. Simplify: a theorem prover for program checking. Journal of the ACM, 52(3):365-473, 2005. (Pubitemid 43078377)
    • (2005) Journal of the ACM , vol.52 , Issue.3 , pp. 365-473
    • Detlefs, D.1    Nelson, G.2    Saxe, J.B.3
  • 12
    • 0015482118 scopus 로고
    • Proof of correctness of data representations
    • C. A. R. Hoare. Proof of correctness of data representations. Acta Informatica, 1:271-281, 1972.
    • (1972) Acta Informatica , vol.1 , pp. 271-281
    • Hoare, C.A.R.1
  • 16
  • 28
    • 0003232884 scopus 로고
    • Linear types can change the world!
    • M. Broy and C. Jones, editors
    • P. Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, Programming Concepts and Methods, 1990.
    • (1990) Programming Concepts and Methods
    • Wadler, P.1
  • 29
    • 34247280746 scopus 로고    scopus 로고
    • Advanced topics in types and programming languages
    • MIT Press
    • D. Walker. Advanced Topics in Types and Programming Languages, chapter Substructural Type Systems, pages 3-44. MIT Press, 2005.
    • (2005) Chapter Substructural Type Systems , pp. 3-44
    • Walker, D.1


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