CONDITIONAL NARROWING MODULO A SET OF EQUATIONS

被引：9
|
作者：
BOCKMAYR, A [1 ]
机构：
[1] MAX PLANCK INST INFORMAT,W-6600 SAARBRUCKEN,GERMANY
来源：
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING | 1993年 / 4卷 / 03期
关键词：
CONDITIONAL REWRITING; CONDITIONAL NARROWING; E-UNIFICATION; CONSTRAINT LOGIC AND FUNCTIONAL PROGRAMMING;
D O I：
10.1007/BF01202035
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Narrowing is a universal unification procedure for equational theories given by a canonical term rewrite system. In this paper we introduce conditional narrowing modulo a set of conditional equations and give a full proof of its correctness and completeness for equational conditional rewrite systems R,E without extravariables where E is regular and R,E is Church-Rosser modulo E and decreasing modulo E. This result can be seen as the theoretical foundation of a special form of constraint logic and functional programming.
引用
收藏
页码：147 / 168
页数：22
相关论文
共 50 条
  • [1] Conditional Narrowing Modulo SMT and Axioms
    Aguirre, Luis
    Marti-Oliet, Narciso
    Palomino, Miguel
    Pita, Isabel
    PROCEEDINGS OF THE 19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2017), 2017, : 17 - 28
  • [2] Conditional Narrowing Modulo in Rewriting Logic and Maude
    Aguirre, Luis
    Marti-Oliet, Narciso
    Palomino, Miguel
    Pita, Isabel
    REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2014, 2014, 8663 : 80 - 96
  • [3] Constrained narrowing for conditional equational theories modulo axioms
    Cholewa, Andrew
    Escobar, Santiago
    Meseguer, Jose
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 112 : 24 - 57
  • [4] COMPLETION OF A SET OF RULES MODULO A SET OF EQUATIONS
    JOUANNAUD, JP
    KIRCHNER, H
    SIAM JOURNAL ON COMPUTING, 1986, 15 (04) : 1155 - 1194
  • [5] TERMINATION OF A SET OF RULES MODULO A SET OF EQUATIONS
    JOUANNAUD, JP
    MUNOZ, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 175 - 193
  • [6] Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
    Aguirre, Luis
    Marti-Oliet, Narciso
    Palomino, Miguel
    Pita, Isabel
    LOGIC, REWRITING, AND CONCURRENCY, 2015, 9200 : 48 - 71
  • [7] Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
    Luis Aguirre
    Narciso Martí-Oliet
    Miguel Palomino
    Isabel Pita
    Journal of Automated Reasoning, 2018, 60 : 421 - 463
  • [8] Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
    Aguirre, Luis
    Marti-Oliet, Narciso
    Palomino, Miguel
    Pita, Isabel
    JOURNAL OF AUTOMATED REASONING, 2018, 60 (04) : 421 - 463
  • [9] Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
    Palomino, Miguel (miguelpt@ucm.es), 1600, Springer Science and Business Media B.V. (60):
  • [10] Reviving Basic Narrowing Modulo
    Kim, Dohan
    Lynch, Christopher
    Narendran, Paliath
    FRONTIERS OF COMBINING SYSTEMS (FROCOS 2019), 2019, 11715 : 313 - 329
12345