메뉴 건너뛰기




Volumn 2646, Issue , 2003, Pages 200-219

A new extraction for Coq

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; EXTRACTION;

EID: 35248843145     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-39185-1_12     Document Type: Article
Times cited : (112)

References (18)
  • 2
    • 84944187299 scopus 로고
    • Extending pruning techniques to polymorphic second order λ-calculus
    • Proceedings ESOP'94
    • L. Boerio. Extending pruning techniques to polymorphic second order λ-calculus. In Proceedings ESOP'94, volume 788. Lecture Notes in Computer Science, 1994.
    • (1994) Lecture Notes in Computer Science , vol.788
    • Boerio, L.1
  • 3
    • 35248891647 scopus 로고    scopus 로고
    • A constructive formalization of the fundamental theorem of calculus
    • L. Cruz-Filipe. A constructive formalization of the fundamental theorem of calculus. In Proceedings TYPES'2002.
    • Proceedings TYPES'2002
    • Cruz-Filipe, L.1
  • 5
    • 85088177781 scopus 로고    scopus 로고
    • A compiled implementation of strong reduction
    • To appear
    • B. Grégoire and X. Leroy. A compiled implementation of strong reduction. In Proceedings ICFP'2002. To appear.
    • Proceedings ICFP'2002
    • Grégoire, B.1    Leroy, X.2
  • 6
    • 35248851303 scopus 로고    scopus 로고
    • The algebraic hierarchy of the fta project
    • Integration of Automated Reasoning and Computer Algebra Systems
    • F. Wiedijk H. Geuvers, R. Pollack and J. Zwanenburg. The algebraic hierarchy of the fta project. Journal of Symbolic Computation, Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems, pages 271-286, 2002.
    • (2002) Journal of Symbolic Computation , Issue.SPEC. ISSUE , pp. 271-286
    • Wiedijk, F.1    Geuvers, H.2    Pollack, R.3    Zwanenburg, J.4
  • 7
    • 0006904501 scopus 로고
    • Technical report, Research Institute for Mathematical Sciences, Kyoto University
    • S. Hayashi and H. Nakano. Px, a computational logic. Technical report, Research Institute for Mathematical Sciences, Kyoto University, 1987.
    • (1987) Px, a Computational Logic
    • Hayashi, S.1    Nakano, H.2
  • 16
    • 0035398230 scopus 로고    scopus 로고
    • Studies of a theory of specifications with built-in program extraction
    • P. Severi and N. Szasz. Studies of a theory of specifications with built-in program extraction. Journal of Automated Reasoning, 27(1), 2001.
    • (2001) Journal of Automated Reasoning , vol.27 , Issue.1
    • Severi, P.1    Szasz, N.2


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