SPECIFYING THEOREM PROVERS IN A HIGHER-ORDER LOGIC PROGRAMMING LANGUAGE

被引:0
|
作者
FELTY, A
MILLER, D
机构
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:61 / 80
页数:20
相关论文
共 50 条
  • [1] A higher-order logic programming language with constraints
    Leach, J
    Nieva, S
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2001, 2024 : 108 - 122
  • [2] On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
    Cimini, Matteo
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2020, 2020, 12073 : 106 - 123
  • [3] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [4] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
  • [5] Implementing tactics and tacticals in a higher-order logic programming language
    Felty, Amy
    [J]. Journal of Automated Reasoning, 1993, 11 (01):
  • [6] IMPLEMENTING TACTICS AND TACTICALS IN A HIGHER-ORDER LOGIC PROGRAMMING LANGUAGE
    FELTY, A
    [J]. JOURNAL OF AUTOMATED REASONING, 1993, 11 (01) : 43 - 81
  • [7] Certifying compilers using higher-order theorem provers as certificate checkers
    Blech, Jan Olaf
    Gregoire, Benjamin
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2011, 38 (01) : 33 - 61
  • [8] Certifying compilers using higher-order theorem provers as certificate checkers
    Jan Olaf Blech
    Benjamin Grégoire
    [J]. Formal Methods in System Design, 2011, 38 : 33 - 61
  • [9] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panos
    Wadge, William W.
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 91 - 103
  • [10] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panagiotis
    Wadge, William W.
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)