咨询与建议

限定检索结果

文献类型

  • 10 篇 期刊文献
  • 4 篇 会议

馆藏范围

  • 14 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 14 篇 工学
    • 14 篇 计算机科学与技术...
    • 6 篇 软件工程
  • 4 篇 理学
    • 4 篇 数学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 14 篇 functional-logic...
  • 3 篇 higher-order pat...
  • 3 篇 non-deterministi...
  • 2 篇 deductive databa...
  • 2 篇 constraints
  • 2 篇 logic programmin...
  • 1 篇 outside-in narro...
  • 1 篇 modules
  • 1 篇 type systems
  • 1 篇 full abstraction
  • 1 篇 program analysis
  • 1 篇 lazy narrowing
  • 1 篇 program transfor...
  • 1 篇 opaque patterns
  • 1 篇 xpath queries
  • 1 篇 determinism
  • 1 篇 abstract interpr...
  • 1 篇 cooperative goal...
  • 1 篇 semantic web
  • 1 篇 set-constraint a...

机构

  • 2 篇 univ complutense...
  • 2 篇 univ almeria dpt...
  • 2 篇 univ complutense...
  • 1 篇 univ complutense...
  • 1 篇 univ malaga dept...
  • 1 篇 univ malaga dept...
  • 1 篇 univ of tsukuba ...
  • 1 篇 univ complutense...
  • 1 篇 univ almeria dpt...
  • 1 篇 univ complutense...
  • 1 篇 univ politecn ma...
  • 1 篇 univ complutense...
  • 1 篇 natl univ irelan...
  • 1 篇 univ complutense...
  • 1 篇 inst informat & ...
  • 1 篇 univ complutense...
  • 1 篇 dpto. de lenguaj...
  • 1 篇 natl univ irelan...

作者

  • 2 篇 lopez-fraguas fr...
  • 2 篇 caballero rafael
  • 2 篇 garcia-ruiz yola...
  • 2 篇 saenz-perez fern...
  • 2 篇 garcia-ruiz y.
  • 1 篇 caballero r.
  • 1 篇 caballerob r.
  • 1 篇 ida t
  • 1 篇 almendros-jiméne...
  • 1 篇 del vado virseda...
  • 1 篇 gregor h
  • 1 篇 rodriguez artale...
  • 1 篇 echahed r
  • 1 篇 marino julio
  • 1 篇 saenz-perez f.
  • 1 篇 becerra-terón a
  • 1 篇 nickles matthias
  • 1 篇 moreno-navarro j...
  • 1 篇 pimentel e
  • 1 篇 okui s

语言

  • 10 篇 英文
  • 4 篇 其他
检索条件"主题词=Functional-logic programming"
14 条 记 录,以下是11-20 订阅
排序:
Specializing narrowing for timetable generation: A case study
收藏 引用
7th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Brauner, N Echahed, R Finke, G Gregor, H Prost, F Inst Informat & Math Appl Grenoble Lab Leibniz F-38000 Grenoble France
An important property of strategies used to solve goals in functional logic programming (FLP) languages is the complete exploration of the solution space. Integrating constraints into FLP proved to be useful in many c... 详细信息
来源: 评论
Composing programs in a rewriting logic for declarative programming
收藏 引用
THEORY AND PRACTICE OF logic programming 2003年 第2期3卷 189-221页
作者: Molina-Bravo, JM Pimentel, E Univ Malaga Dept Lenguajes & Ciencias Computac E-29071 Malaga Spain
Constructor-Based Conditional Rewriting logic is a general framework for integrating first-order functional and logic programming which gives an algebraic semantics for non-deterministic functional-logic programs. In ... 详细信息
来源: 评论
A Safe Relational Calculus for functional logic Deductive Databases 1
收藏 引用
Electronic Notes in Theoretical Computer Science 2003年 第3期86卷 168-204页
作者: Jesús M. Almendros-Jiménez Antonio Becerra-Terón Dpto. de Lenguajes y Computación. Universidad de Almería. Carretera de Sacramento s/n La Cañada de San Urbano. 04120-Almería. Spain
In this paper, we present an extended relational calculus for expressing queries in functional-logic deductive databases. This calculus is based on first-order logic and handles relation predicates, equalities and ine... 详细信息
来源: 评论
OUTSIDE-IN CONDITIONAL NARROWING
收藏 引用
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 1994年 第6期E77D卷 631-641页
作者: IDA, T OKUI, S Univ of Tsukuba Tsukuba-shi Japan
We present outside-in conditional narrowing for orthogonal conditional term rewriting systems, and show the completeness of leftmost-outside-in conditional narrowing with respect to normalizable solutions. We consider... 详细信息
来源: 评论