메뉴 건너뛰기




Volumn , Issue , 2008, Pages 1-5

Implementing polymorphism in SMT solvers

Author keywords

[No Author keywords available]

Indexed keywords

PARAMETRIC POLYMORPHISM; TYPE VARIABLES;

EID: 67650705521     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1512464.1512466     Document Type: Conference Paper
Times cited : (26)

References (12)
  • 1
    • 0346205107 scopus 로고    scopus 로고
    • Unification theory
    • A. Robinson and A. Voronkov, editors, chapter 8, Elsevier Science
    • F. Baader and W. Snyder. Unification Theory. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume I, chapter 8, pages 447-533. Elsevier Science, 2001.
    • (2001) Handbook of Automated Reasoning , vol.1 , pp. 447-533
    • Baader, F.1    Snyder, W.2
  • 5
    • 36049022245 scopus 로고    scopus 로고
    • The why/krakatoa/caduceus platform for deductive program verification
    • W. Damm and H. Hermanns, editors, volume 4590 of Lecture Notes in Computer Science, Berlin, Germany, July, Springer
    • J.-C. Filliâtre and C. Marché. The Why/Krakatoa/Caduceus platform for deductive program verification. In W. Damm and H. Hermanns, editors, 19th International Conference on Computer Aided Verification, volume 4590 of Lecture Notes in Computer Science, pages 173-177, Berlin, Germany, July 2007. Springer.
    • (2007) 19th International Conference on Computer Aided Verification , pp. 173-177
    • Filliâtre, J.-C.1    Marché, C.2
  • 6
    • 38149060797 scopus 로고    scopus 로고
    • Separation analysis for deductive verification
    • Braga, Portugal, Mar.
    • T. Hubert and C. Marché. Separation analysis for deductive verification. In Heap Analysis and Verification (HAV'07), pages 81-93, Braga, Portugal, Mar. 2007. http://www.lri.fr/~marche/hubert07hav.pdf.
    • (2007) Heap Analysis and Verification (HAV'07) , pp. 81-93
    • Hubert, T.1    Marché, C.2
  • 9
    • 0018105622 scopus 로고
    • A theory of type polymorphismn programming
    • R. Milner. A theory of type polymorphismn programming. J. Comput. Syst. Sci., 17, 1978.
    • (1978) J. Comput. Syst. Sci. , pp. 17
    • Milner, R.1


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