메뉴 건너뛰기




Volumn 1861, Issue , 2000, Pages 87-100

Logic program synthesis in a higher-order setting

Author keywords

[No Author keywords available]

Indexed keywords

HIGHER ORDER LOGIC; ILLUSTRATIVE EXAMPLES; LOGIC PROGRAMS; PROOF PLANNING SYSTEM; REFINEMENT OPERATIONS;

EID: 84867828951     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_6     Document Type: Conference Paper
Times cited : (9)

References (21)
  • 1
    • 84947458432 scopus 로고
    • A framework for program development based on schematic proof
    • Also available as Max-Planck-Institut für Informatik Report MPI-I-93-231 and Edinburgh DAI Research Report 654
    • David Basin, Alan Bundy, Ina Kraan, and Sean Matthews. A framework for program development based on schematic proof. In Proceedings of the 7th International Workshop on Software Speci-cation and Design (IWSSD-93), 1993. Also available as Max-Planck-Institut für Informatik Report MPI-I-93-231 and Edinburgh DAI Research Report 654.
    • (1993) Proceedings of the 7th International Workshop on Software Speci-cation and Design (IWSSD-93
    • Basin, D.1    Bundy, A.2    Kraan, I.3    Matthews, S.4
  • 2
    • 0025256146 scopus 로고
    • Turning eureka steps into calculations in automatic program synthesis
    • In S. L.H. Clarke, editor IEE. Also available from Edinburgh as DAI Research Paper 448
    • A. Bundy, A. Smaill, and J. Hesketh. Turning eureka steps into calculations in automatic program synthesis. In S. L.H. Clarke, editor, Proceedings of UK IT 90, pages 221-6. IEE, 1990. Also available from Edinburgh as DAI Research Paper 448.
    • (1990) Proceedings of UK IT 90 , pp. 221-226
    • Bundy, A.1    Smaill, A.2    Hesketh, J.3
  • 3
    • 0027643028 scopus 로고
    • Rippling: A heuristic for guiding inductive proofs
    • Also available from Edinburgh as DAI Resea rch Paper No. 567
    • A. Bundy, A. Stevens, F. Van Harmelen, A. Ireland, and A. Smaill. Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence, 62:185-253, 1993. Also available from Edinburgh as DAI Resea rch Paper No. 567.
    • (1993) Artificial Intelligence , vol.62 , pp. 185-253
    • Bundy, A.1    Stevens, A.2    Van Harmelen, F.3    Ireland, A.4    Smaill, A.5
  • 9
    • 0030783516 scopus 로고    scopus 로고
    • From context-free to definite-clause grammars: A type-theoretic approach
    • J. Haas and B. Jayaraman. From context-free to definite-clause grammars: A type-theoretic approach. Journal of Logic Programming, 30, 1997.
    • (1997) Journal of Logic Programming , vol.30
    • Haas, J.1    Jayaraman, B.2
  • 10
    • 51849155667 scopus 로고
    • Uses of higher-order uni-cation for implementing program transformers
    • In R. A. Kowalski and K. A. Bowen, editors. MIT Press
    • J. Hannan and D. Miller. Uses of higher-order uni-cation for implementing program transformers. In R. A. Kowalski and K. A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium, pages 942-59. MIT Press, 1988.
    • (1988) Proceedings of the Fifth International Conference and Symposium , pp. 942-959
    • Hannan, J.1    Miller, D.2
  • 11
    • 0018050926 scopus 로고
    • Proving and applying program transformation expressed with second order patterns
    • G. Huet,B. Lang Proving and applying program transformation expressed with second order patterns Acta Informatica 11, 31-55, 1978.
    • (1978) Acta Informatica , vol.11 , pp. 31-55
    • Huet, G.1    Lang, B.2
  • 12
    • 0345595092 scopus 로고
    • PhD thesis, Department of Artificial Intelligence, University of Edinburgh
    • . I. Kraan. Proof Planning for Logic Program Synthesis. PhD thesis, Department of Artificial Intelligence, University of Edinburgh, 1994.
    • (1994) Proof Planning for Logic Program Synthesis
    • Kraan, I.1
  • 13
    • 0043151703 scopus 로고
    • Logic program synthesis via proo f planning
    • In K. K. Lau and T. Clement, editors. Springer-Verlag Also available as Max-Planck-Institut für Informatik Report MPI-I-92-244 and Edinburgh DAI Research Report 603
    • I. Kraan, D. Basin, and A. Bundy. Logic program synthesis via proo f planning. In K. K. Lau and T. Clement, editors, Logic Program Synthesis and Transforma-tion, pages 1-14. Springer-Verlag, 1993. Also available as Max-Planck-Institut für Informatik Report MPI-I-92-244 and Edinburgh DAI Research Report 603.
    • (1993) Logic Program Synthesis and Transforma-tion , pp. 1-14
    • Kraan, I.1    Basin, D.2    Bundy, A.3
  • 14
    • 33749984725 scopus 로고
    • Middle-out reasoning for logic program synthesis
    • In D. S. Warren, editor MIT Press. Also available as Max-Planck-Institut für Informatik Report MPI-I-93-214 and Edinburgh DAI Research Report 638
    • I. Kraan, D. Basin, and A. Bundy. Middle-out reasoning for logic program synthesis. In D. S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming. MIT Press, 1993. Also available as Max-Planck-Institut für Informatik Report MPI-I-93-214 and Edinburgh DAI Research Report 638.
    • (1993) Proceedings of the Tenth International Conference on Logic Programming
    • Kraan, I.1    Basin, D.2    Bundy, A.3
  • 15
    • 84949436164 scopus 로고    scopus 로고
    • Forms of logic speci-cations. A preliminary study
    • In J. Ga llagher, editor. Springer-Verlag
    • K.-K. Lau and M. Ornaghi. Forms of logic speci-cations. A preliminary study. In J. Ga llagher, editor, LOPSTR '96, number 1207 in Lecture Notes in Computer Science, pages 295-312. Springer-Verlag, 1996.
    • (1996) LOPSTR '96 Number 1207 in Lecture Notes in Computer Science , pp. 295-312
    • Lau, K.-K.1    Ornaghi, M.2
  • 16
    • 0042121695 scopus 로고
    • Top-down synthesis of recursive logic pro cedures from first-order logic speci-cations
    • In D.H. D. Warren and P. Szeredi, editors MIT Press
    • K.-K. Lau and S.D. Prestwich. Top-down synthesis of recursive logic pro cedures from first-order logic speci-cations. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th Int. Conf. on Logic Programming, pages 667-684. MIT Press, 1990.
    • (1990) Proc. 7th Int. Conf. on Logic Programming , pp. 667-684
    • Lau, K.-K.1    Prestwich, S.D.2
  • 17
    • 0026263528 scopus 로고
    • Sy nthesis of a family of recursive sorting procedures
    • In V. Saraswat and K. Ueda, editors MIT Press
    • K.-K. Lau and S.D. Prestwich. Sy nthesis of a family of recursive sorting procedures. In V. Saraswat and K. Ueda, editors, Proc. 1991 Int. Logic Programming Symposium, pages 641-658. MIT Press, 1991.
    • (1991) Proc. 1991 Int. Logic Programming Symposium , pp. 641-658
    • Lau, K.-K.1    Prestwich, S.D.2
  • 18
    • 0013212455 scopus 로고
    • Technical Report MS-CIS-90-54, Department of Computer and Information Science, University of Pennsylvania. Appeared in Ex-tensions of Logic Programming, edi ted by P. Schröder-Heister, Lecture Notes in Artificial Intelligence, Springer-Verlag
    • D. Miller. A logic programming language with lambda abstraction, function variables and simple uni-cation. Technical Report MS-CIS-90-54, Department of Computer and Information Science, University of Pennsylvania, 1990. Appeared in Ex-tensions of Logic Programming, edi ted by P. Schröder-Heister, Lecture Notes in Artificial Intelligence, Springer-Verlag.
    • (1990) A Logic Programming Language with Lambda Abstraction, Function Variables and Simple Uni-Cation
    • Miller, D.1
  • 21
    • 84949223061 scopus 로고    scopus 로고
    • An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations
    • U trecht, Netherlands volume 1048 of Lecture Notes in Computer Science. SpringerVerlag
    • W. W. Vasconcelos and N.E. Fuchs. An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations. In Proceedings of LoPSTr'95, Fifth International Workshop on Logic Program Syn-thesis and Transformation, U trecht, Netherlands, volume 1048 of Lecture Notes in Computer Science, pages 175-188. Springer Verlag, 1996.
    • (1996) Proceedings of LoPSTr'95, Fifth International Workshop on Logic Program Syn-thesis and Transformation , pp. 175-188
    • Vasconcelos, W.W.1    Fuchs, N.E.2


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