A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS

被引：0
|
作者：
GILLUEZAS, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 380卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：197 / 208
页数：12
相关论文
共 50 条
  • [31] Partial evaluation of functional logic programs
    Alpuente, M
    Falaschi, M
    Vidal, G
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (04): : 768 - 844
  • [32] Liberal Typing for Functional Logic Programs
    Lopez-Fraguas, Francisco
    Martin-Martin, Enrique
    Rodriguez-Hortala, Juan
    PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 6461 : 80 - 96
  • [33] Concolic Testing of Functional Logic Programs
    Tikovsky, Jan Rasmus
    DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, DECLARE 2017, 2018, 10997 : 169 - 186
  • [34] Nondeterminism analysis of functional logic programs
    Brassel, B
    Hanus, M
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 265 - 279
  • [35] Proving failure in functional logic programs
    López-Fraguas, FJ
    Sánchez-Hernández, J
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 179 - 193
  • [36] Free Theorems for Functional Logic Programs
    Christiansen, Jan
    Seidel, Daniel
    Voigtlaender, Janis
    PLPV'10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES MEETS PROGRAM VERIFICATION, 2010, : 39 - 48
  • [37] Monadic logic programs and functional complexity
    Matos, AB
    THEORETICAL COMPUTER SCIENCE, 1997, 176 (1-2) : 175 - 204
  • [38] Nondeterministic, nonmonotonic logic databases
    Giannotti, F
    Manco, G
    Nanni, M
    Pedreschi, D
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2001, 13 (05) : 813 - 823
  • [39] Termination of nondeterministic quantum programs
    Li, Yangjia
    Yu, Nengkun
    Ying, Mingsheng
    ACTA INFORMATICA, 2014, 51 (01) : 1 - 24
  • [40] Termination of Nondeterministic Probabilistic Programs
    Fu, Hongfei
    Chatterjee, Krishnendu
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 468 - 490
12345