咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

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

馆藏范围

  • 31 篇 电子文献
  • 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...
  • 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 篇 fdega

机构

  • 1 篇 depto. de sistem...
  • 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 篇 portland state u...

作者

  • 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

语言

  • 30 篇 英文
  • 1 篇 中文
检索条件"任意字段=5th International Symposium on Functional and Logic Programming, FLOPS 2001"
共 31 条 记 录，以下是31-40 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
A debugging model for functional logic programs  5th
A debugging model for functional logic programs
收藏
分享
引用
5th international symposium on programming Language Implementation and logic programming, PLILP 1993
作者： Hanus, Michael Josephs, Berthold Max-Planck-Institut für Informatik Im Stadtwald SaarbrückenD-66123 Germany Informatik V Universität Dortmund DortmundD-44221 Germany
this paper presents a box-oriented debugging model for the functional logic language ALF. Due to the sophisticated operational semantics of ALF which is based on innermost basic narrowing with simplification, the debu... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共4页 <<  < 1 2 3 4 >  >>
回到顶部
执行限定条件