咨询与建议

限定检索结果

文献类型

  • 27 篇 会议
  • 3 册 图书
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 25 篇 工学
    • 25 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 3 篇 电气工程
    • 2 篇 机械工程
    • 2 篇 信息与通信工程
    • 1 篇 控制科学与工程
  • 6 篇 理学
    • 6 篇 数学
    • 1 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...

主题

  • 10 篇 logic programmin...
  • 4 篇 semantics
  • 2 篇 computer circuit...
  • 2 篇 functional progr...
  • 2 篇 functional progr...
  • 2 篇 logic design
  • 1 篇 0.6 microns
  • 1 篇 computer science
  • 1 篇 fuzzy logic
  • 1 篇 software systems
  • 1 篇 design for test
  • 1 篇 metals
  • 1 篇 dft
  • 1 篇 linear logic
  • 1 篇 boundary-scan te...
  • 1 篇 application spec...
  • 1 篇 concurrent compu...
  • 1 篇 application soft...
  • 1 篇 querying
  • 1 篇 abduction

机构

  • 1 篇 depto. de sistem...
  • 1 篇 department of co...
  • 1 篇 departamento de ...
  • 1 篇 univ pisa dipart...
  • 1 篇 departamento de ...
  • 1 篇 univ complutense...
  • 1 篇 department of co...
  • 1 篇 fudan univ asic ...
  • 1 篇 dept informat ci...
  • 1 篇 department of co...
  • 1 篇 department of co...
  • 1 篇 univ minnesota d...
  • 1 篇 depto. de lengua...
  • 1 篇 the university o...
  • 1 篇 dept. of compute...
  • 1 篇 inria-rocquencou...
  • 1 篇 univ politecn va...
  • 1 篇 univ nova lisboa...
  • 1 篇 max-planck-insti...
  • 1 篇 tokyo inst techn...

作者

  • 1 篇 hernández-orallo...
  • 1 篇 dahl veronica
  • 1 篇 martelli m
  • 1 篇 r.h.c. yap
  • 1 篇 stuckey peter j.
  • 1 篇 anita szabo
  • 1 篇 boye johan
  • 1 篇 porto antónio
  • 1 篇 deransart pierre
  • 1 篇 bruynooghe mauri...
  • 1 篇 darlington john
  • 1 篇 vidal g
  • 1 篇 albert e
  • 1 篇 lópez-fraguas fr...
  • 1 篇 hortalá-gonzález...
  • 1 篇 köhler martin
  • 1 篇 fernández antoni...
  • 1 篇 porto a
  • 1 篇 caballero rafael
  • 1 篇 nadathur g

语言

  • 31 篇 英文
  • 1 篇 中文
检索条件"任意字段=5th International Symposium on Functional and Logic Programming, FLOPS 2001"
32 条 记 录,以下是1-10 订阅
排序:
5th international symposium on functional and logic programming, flops 2001
收藏 引用
5th international symposium on functional and logic programming, flops 2001
the proceedings contain 24 papers. the special focus in this conference is on functional programming and logic programming. the topics include: A scalable architecture for proof-carrying code;parameterized logic progr...
来源: 评论
5th international symposium on programming Language Implementation and logic programming, PLILP 1993
5th International Symposium on Programming Language Implemen...
收藏 引用
5th international symposium on programming Language Implementation and logic programming, PLILP 1993
the proceedings contain 33 papers. the special focus in this conference is on programming Language Implementation and logic programming. the topics include: Executable specifications for language implementation;avoidi...
来源: 评论
programming language implementation and logic programming: 5th international symposium, PLILP ’93 Tallinn, Estonia, August 25-27, 1993 proceedings  5th
Programming language implementation and logic programming: 5...
收藏 引用
5th international symposium on programming Language Implementation and logic programming, PLILP 1993
作者: Bruynooghe, Maurice Penjam, Jaan Department of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200A HeverleeB-3001 Belgium Software Department Institute of Cybernetics Akadeemia tee 21 TallinnEE0026 Estonia
来源: 评论
functional and logic programming
收藏 引用
丛书名: Lecture notes in computer science,
2001年
作者: Herbert Kuchen Kazunori Ueda (eds.).
来源: 评论
theoretical foundations for the declarative debugging of lazy functional logic programs  5th
收藏 引用
5th international symposium on functional and logic programming, flops 2001
作者: Caballero, Rafael López-Fraguas, Francisco J. Rodríguez-Artalejo, Mario Departamento de Sistemas Informáticos y Programación Universidad Complutense de Madrid Spain
the aim of this paper is to provide theoretical foundations for the declarative debugging of wrong answers in lazy functional logic programming. We rely on a logical framework which formalizes both the intended meanin... 详细信息
来源: 评论
A framework for goal-directed bottom-up evaluation of functional logic programs  5th
收藏 引用
5th international symposium on functional and logic programming, flops 2001
作者: Almendros-Jiménez, Jesús M. Becerra-Terón, Antonio Dpto. de Lenguajes y Computación Universidad de Almería Almería04120 Spain
In this paper we start the design of a functional-logic deductive database language. Given that most logic deductive languages consider bottom-up evaluation as operational mechanism, here we will focus on the developm... 详细信息
来源: 评论
Incremental learning of functional logic programs  5th
收藏 引用
5th international symposium on functional and logic programming, flops 2001
作者: Ferri-Ramírez, C. Hernández-Orallo, J. Ramírez-Quintana, M.J. DSIC UPV Camino de Vera s/n ValenciaE-46022 Spain
In this work, we consider the extension of the Inductive functional logic programming (IFLP) framework in order to learn functions in an incremental way. In general, incremental learning is necessary when the number o... 详细信息
来源: 评论
Compiling a functional logic Language: the Basic Scheme  12
Compiling a Functional Logic Language: <i>The Basic Scheme</...
收藏 引用
11th international symposium on functional and logic programming (flops)
作者: Antoy, Sergio Peters, Arthur Portland State Univ Comp Sci Dept Portland OR 97207 USA
We present the design of a compiler for a functional logic programming language and discuss the compiler's implementation. the source program is abstracted by a constructor based graph rewriting system obtained fr... 详细信息
来源: 评论
An abstract machine based system for a lazy narrowing calculus  5th
收藏 引用
5th international symposium on functional and logic programming
作者: Hortalá-González, T Ullán, E Univ Complutense Madrid Fac Ciencias Matemat Dept Sistemas Informat & Porgramac E-28040 Madrid Spain
CLNC is a lazy narrowing calculus for goal solving in the context of CRWL, a rewriting logic for functional logic programming that deals with non-deterministic functions. the JUMP-machine is an abstract machine model ... 详细信息
来源: 评论
A framework for analysis of typed logic programs  5th
收藏 引用
5th international symposium on functional and logic programming, flops 2001
作者: Lagoon, Vitaly Stuckey, Peter J. Dept. of Computer Science and Software Engineering University of Melbourne Parkville3052 Australia
the paper presents a novel approach to the analysis of typed logic programs. We assume regular type descriptions of logic program variables provided by regular tree grammars. Types are used to identify components of t... 详细信息
来源: 评论