咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
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... 详细信息
来源: 评论
5th international symposium on Intelligent Systems and Informatics, SISY 2007
5th International Symposium on Intelligent Systems and Infor...
收藏 引用
5th international symposium on Intelligent Systems and Informatics, SISY 2007
the proceedings contain 46 papers. the topics discussed include: applications of pseudo-analysis on models with nonlinear partial differential equations;audio system controlling protocol with AES3;easy and cheap AC de... 详细信息
来源: 评论
functional programming in Embedded Systems and Soft Computing
Functional Programming in Embedded Systems and Soft Computin...
收藏 引用
international symposium on Intelligent Systems and Informatics (SISY)
作者: Anita Szabo Norbert Sram Polytechnical Engineering College Subotica Serbia UVA Subotica Serbia
Embedded computer systems are rapidly gaining more and more ground, from stand alone systems to networked based systems with complex logic. the primary goal of embedded systems is to provide a reliable service over a ... 详细信息
来源: 评论
functional and logic programming  2006
收藏 引用
丛书名: Lecture Notes in Computer Science
2006年
作者: Masami Hagiya Philip Wadler
来源: 评论
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...
来源: 评论
Boundary-scan test circuit designed for FPGA  5
Boundary-scan test circuit designed for FPGA
收藏 引用
5th international Conference on ASIC
作者: Ma, XJ Tong, JR Fudan Univ ASIC Microelect Dept Shanghai 200433 Peoples R China
Boundary scan is a widely adopted DFT (Design For Test). According to the characteristic of FPGA application, this paper presents a boundary scan circuit designed for FDEGA (Field-programmable Datapath Enhanced Gate A... 详细信息
来源: 评论
An integrated information system powered by Prolog
收藏 引用
5th international symposium on Practical Aspects of Declarative Languages
作者: Porto, A Univ Nova Lisboa Fac Ciencias & Tecnol Dept Informat P-1200 Lisbon Portugal
Our Faculty embarked a few years ago on an ambitious project to redesign itself around an integrated information system, aimed at supporting all information handling activities and deployed through dynamic Web interfa... 详细信息
来源: 评论
5th international symposium on Practical Aspects of Declarative Languages, PADL 2003
收藏 引用
5th international symposium on Practical Aspects of Declarative Languages, PADL 2003
the proceedings contain 26 papers. the special focus in this conference is on Practical Aspects of Declarative Languages. the topics include: the role of declarative languages in mining biological databases;light and ...
来源: 评论
Structural abstraction and application in logic programming  6th
Structural abstraction and application in logic programming
收藏 引用
6th Fuji international symposium on functional and logic programming, flops 2002
作者: Porto, António Departamento de Informática Universidade Nova de Lisboa Portugal
this paper explores a seeminglyv ery simple idea—an operation for extending a term with extra (start or end) arguments to yield a new term. this allows the definition a varietyof structural operators that provide the... 详细信息
来源: 评论
Solving combinatorial problems with a constraint functional logic language
收藏 引用
5th international symposium on Practical Aspects of Declarative Languages, PADL 2003
作者: Fernández, Antonio J. Hortalá-González, Teresa Sáenz-Pérez, Fernando Depto. de Lenguajes y Ciencias de la Computación Universidad de Málaga Spain Depto. de Sistemas Informáticos y Programación Universidad Complutense de Madrid Spain
this paper describes a proposal to incorporate finite domain constraints in a functional logic system. the proposal integrates functions, higher-order patterns, partial applications, non-determinism, logical variables... 详细信息
来源: 评论