DERIVATION OF LOGIC PROGRAMS BY FUNCTIONAL METHODS

被引：0
|
作者：
BIJLSMA, A
机构：
[1] Department of Mathematics and Computing Science, Eindhoven University of Technology, 5600 MB Eindhoven
来源：
INFORMATION PROCESSING LETTERS | 1991年 / 39卷 / 06期
关键词：
FUNCTIONAL PROGRAMMING; PROGRAM DERIVATION; LOGIC PROGRAMMING;
D O I：
10.1016/0020-0190(91)90006-4
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：325 / 332
页数：8
相关论文
共 50 条
  • [1] DERIVATION OF LOGIC PROGRAMS
    HOGGER, CJ
    [J]. JOURNAL OF THE ACM, 1981, 28 (02) : 372 - 392
  • [2] The list introduction strategy for the derivation of logic programs
    Pettorossi, Alberto
    Proietti, Maurizio
    [J]. Formal Aspects of Computing, 2002, 13 (3-5) : 233 - 251
  • [3] From Logic to Functional Logic Programs
    Hanus, Michael
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
  • [4] The derivation of functional equivalents of imperative programs
    Roberts, GHB
    [J]. PROCEEDINGS OF THE 24TH AUSTRALASIAN COMPUTER SCIENCE CONFERENCE, ACSC 2001, 2001, 23 (01): : 171 - 176
  • [5] FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS
    DEBRAY, SK
    WARREN, DS
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03): : 451 - 481
  • [6] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
    GILLUEZAS, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208
  • [7] Correction of functional logic programs
    Alpuente, M
    Ballis, D
    Correa, FJ
    Falaschi, M
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 54 - 68
  • [8] From Functional Logic Programs to Purely Functional Programs Preserving Laziness
    Brassel, Bernd
    Fischer, Sebastian
    [J]. IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, 2011, 5836 : 25 - 42
  • [9] Overlapping rules and logic variables in functional logic programs
    Antoy, Sergio
    Hanus, Michael
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 87 - 101
  • [10] From functional specifications to logic programs
    Gelfond, M
    Gabaldon, A
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 355 - 369
12345