SFLP: a solver for functional logic programs

被引：0
|
作者：
Hamada, M [1 ]
Ida, T [1 ]
机构：
[1] Univ Aizu, Language Proc Lab, Aizu Wakamatsu, Japan
来源：
PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2 | 2000年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this work we give a full description of the SFLP system which is designed in Mathematica and based on the deterministic lazy conditional narrowing calculus LCNCd described in our previous work [4]. SFLP can be seen as a system that can be used in various ways such as an (easy to use) functional logic language interpreter, equational solver that extends Mathematica, solvers, and a research/educational tool for narrowing.
引用
收藏
页码：466 / 469
页数：4
相关论文
共 50 条
  • [31] An automatic composition algorithm for functional logic programs
    Alpuente, M
    Falaschi, M
    Moreno, G
    Vidal, G
    [J]. SOFSEM 2000: THEORY AND PRACTICE OF INFORMATICS, 2000, 1963 : 289 - 297
  • [32] A liberal type system for functional logic programs
    Javier Lopez-Fraguas, Francisco
    Martin-Martin, Enrique
    Rodriguez-Hortala, Juan
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2015, 25 (04) : 942 - 977
  • [33] Separation Logic for Sequential Programs (Functional Pearl)
    Chargueraud, Arthur
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (ICFP):
  • [34] Improving functional logic programs by difference-lists
    Albert, E
    Ferri, C
    Steiner, F
    Vidal, G
    [J]. ADVANCES IN COMPUTING SCIENCE-ASIAN 2000, PROCEEDINGS, 2000, 1961 : 237 - 254
  • [35] Equivalence of Two Formal Semantics for Functional Logic Programs
    Lopez-Fraguas, F. J.
    Rodriguez-Hortala, J.
    Sanchez-Hernandez, J.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 188 : 117 - 142
  • [36] Run-time profiling of functional logic programs
    Brassel, B
    Hanus, M
    Huch, F
    Silva, J
    Vidal, G
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 182 - 197
  • [37] On the Generation of Functional Test Programs for the Cache Replacement Logic
    Perez H, W. J.
    Ravotto, D.
    Sanchez, E.
    Reorda, M. Sonza
    Tonda, A.
    [J]. 2009 ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2009, : 418 - +
  • [38] A residualizing semantics for the partial evaluation of functional logic programs
    Albert, E
    Hanus, M
    Vidal, G
    [J]. INFORMATION PROCESSING LETTERS, 2003, 85 (01) : 19 - 25
  • [39] Specialization of functional logic programs based on needed narrowing
    Alpuente, M
    Lucas, S
    Vidal, G
    Hanus, M
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 273 - 303
  • [40] A hoare logic for call-by-value functional programs
    Regis-Gianas, Yann
    Pottier, Francois
    [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2008, 5133 : 305 - +
12345