咨询与建议

限定检索结果

文献类型

  • 2,762 篇 会议
  • 972 篇 期刊文献
  • 41 篇 学位论文
  • 15 册 图书
  • 1 篇 科技报告

馆藏范围

  • 3,791 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,284 篇 工学
    • 1,871 篇 计算机科学与技术...
    • 1,487 篇 软件工程
    • 307 篇 电气工程
    • 92 篇 控制科学与工程
    • 68 篇 信息与通信工程
    • 38 篇 电子科学与技术(可...
    • 24 篇 机械工程
    • 18 篇 力学(可授工学、理...
    • 17 篇 仪器科学与技术
    • 16 篇 材料科学与工程(可...
    • 12 篇 化学工程与技术
    • 12 篇 生物医学工程(可授...
    • 12 篇 生物工程
    • 10 篇 建筑学
    • 10 篇 农业工程
  • 383 篇 理学
    • 310 篇 数学
    • 42 篇 物理学
    • 30 篇 生物学
    • 17 篇 化学
    • 16 篇 系统科学
  • 110 篇 管理学
    • 66 篇 管理科学与工程(可...
    • 46 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 44 篇 教育学
    • 41 篇 教育学
  • 19 篇 文学
    • 15 篇 新闻传播学
  • 18 篇 法学
    • 15 篇 社会学
  • 17 篇 医学
    • 11 篇 基础医学(可授医学...
    • 9 篇 临床医学
  • 14 篇 艺术学
    • 11 篇 音乐与舞蹈学
  • 11 篇 农学
    • 10 篇 作物学
  • 5 篇 经济学
  • 4 篇 哲学
  • 1 篇 历史学
  • 1 篇 军事学

主题

  • 3,791 篇 functional progr...
  • 257 篇 computer science
  • 229 篇 computer languag...
  • 226 篇 programming prof...
  • 201 篇 application soft...
  • 190 篇 logic programmin...
  • 135 篇 parallel program...
  • 134 篇 linear programmi...
  • 131 篇 computer archite...
  • 130 篇 hardware
  • 118 篇 testing
  • 116 篇 concurrent compu...
  • 110 篇 control systems
  • 109 篇 computational mo...
  • 106 篇 parallel process...
  • 105 篇 genetic programm...
  • 101 篇 java
  • 96 篇 mathematical pro...
  • 95 篇 object oriented ...
  • 92 篇 constraint optim...

机构

  • 14 篇 chalmers univ te...
  • 9 篇 univ edinburgh e...
  • 9 篇 chalmers univers...
  • 9 篇 microsoft res ca...
  • 8 篇 radboud univ nij...
  • 7 篇 univ oxford comp...
  • 7 篇 carnegie mellon ...
  • 7 篇 portland state u...
  • 6 篇 univ copenhagen ...
  • 6 篇 chalmers univers...
  • 6 篇 indiana univ blo...
  • 6 篇 graduate school ...
  • 6 篇 cornell univ dep...
  • 6 篇 univ utrecht utr...
  • 6 篇 univ oxford dept...
  • 6 篇 imperial coll lo...
  • 6 篇 microsoft resear...
  • 6 篇 radboud universi...
  • 6 篇 charles universi...
  • 6 篇 univ penn philad...

作者

  • 17 篇 gibbons jeremy
  • 15 篇 pardo alberto
  • 15 篇 loulergue freder...
  • 13 篇 wang meng
  • 13 篇 plasmeijer rinus
  • 12 篇 m. sakawa
  • 12 篇 jeuring johan
  • 12 篇 hofmann martin
  • 12 篇 vinoski steve
  • 11 篇 sabel david
  • 11 篇 hammond kevin
  • 10 篇 schmidt-schauss ...
  • 10 篇 runciman colin
  • 10 篇 hanus michael
  • 9 篇 viera marcos
  • 9 篇 hudak paul
  • 9 篇 jones simon peyt...
  • 8 篇 orchard dominic
  • 8 篇 lescanne pierre
  • 8 篇 henriksen troels

语言

  • 3,638 篇 英文
  • 141 篇 其他
  • 7 篇 中文
  • 2 篇 西班牙文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 日文
  • 1 篇 俄文
检索条件"主题词=Functional Programming"
3791 条 记 录,以下是201-210 订阅
排序:
First Steps Towards Computational Polynomials in Lean  26
First Steps Towards Computational Polynomials in Lean
收藏 引用
26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024
作者: Davenport, James H. University of Bath Department of Computer Science and Mathematical Sciences BathBA2 7AY United Kingdom
The proof assistant Lean has support for abstract polynomials, but this is not necessarily the same as support for computations with polynomials. Lean is also a functional programming language, so it should be possibl... 详细信息
来源: 评论
Quantum programming Taxonomy  9
Quantum Programming Taxonomy
收藏 引用
9th International Conference on Software Defined Systems, SDS 2022
作者: Belkhir, Maria Benkaouha, Haroun Benkhelifa, Elhadj Usthb University Lsi Laboratory Computer Science Faculty Algiers Algeria Staffordshire University Smart Systems Ai and Cybersecurity Research Centre Stoke on Trent United Kingdom
By boosting computer processing capability, quantum computing will transform digital usage in the upcoming years. The development of the quantum computer and the advancement to the several thousand Qubits involved in ... 详细信息
来源: 评论
A Case Study in functional Conversion and Mode Inference in miniKanren  2024
A Case Study in Functional Conversion and Mode Inference in ...
收藏 引用
2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, in affiliation with the annual Symposium on Principles of programming Languages, POPL 2024
作者: Verbitskaia, Ekaterina Engel, Igor Berezun, Daniil JetBrains Research Belgrade Serbia Constructor University Bremen Germany
Many programs which solve complicated problems can be seen as inversions of other, much simpler, programs. One particular example is transforming verifiers into solvers, which can be achieved with low effort by implem... 详细信息
来源: 评论
A Linear Type System for Lp-Metric Sensitivity Analysis  9
A Linear Type System for Lp-Metric Sensitivity Analysis
收藏 引用
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024
作者: Sannier, Victor Baillot, Patrick Univ. Lille CNRS Centrale Lille UMR 9189 CRIStAL LilleF-59000 France
When working in optimisation or privacy protection, one may need to estimate the sensitivity of computer programs, i.e., the maximum multiplicative increase in the distance between two inputs and the corresponding two... 详细信息
来源: 评论
Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification  23
Extensible Embedded Hardware Description Languages with Comp...
收藏 引用
13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART)
作者: Tahir, Omar Luk, Wayne Wu, Nicolas Imperial Coll London Dept Comp London England
Typical hardware description languages, such as Verilog and VHDL, are low-level declarative languages with little room for flexibility. Extending, verifying, or reinterpreting programs in these languages is typically ... 详细信息
来源: 评论
Hardware Implementation of OCAML Using a Synchronous functional Language  26th
Hardware Implementation of OCAML Using a Synchronous Functio...
收藏 引用
26th International Symposium on Practical Aspects of Declarative Languages (PADL)
作者: Sylvestre, Loic Serot, Jocelyn Chailloux, Emmanuel Sorbonne Univ CNRS LIP6 F-75005 Paris France Univ Clermont Auvergne CNRS Inst Pascal Clermont Auvergne INP F-63000 Clermont Ferrand France
We present a hardware implementation of the high-level multi-paradigm language OCAML using a declarative language called Eclat. Eclat is tailored for programming reactive hardware applications mixing interaction with ... 详细信息
来源: 评论
Adjoint Natural Deduction  9
Adjoint Natural Deduction
收藏 引用
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024
作者: Jang, Junyoung Roshal, Sophia Pfenning, Frank Pientka, Brigitte McGill University Montreal Canada Carnegie Mellon University Pittsburgh United States
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mo... 详细信息
来源: 评论
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers  38
Higher-Order Specifications for Deductive Synthesis of Progr...
收藏 引用
38th European Conference on Object-Oriented programming, ECOOP 2024
作者: Young, David Yang, Ziyi Sergey, Ilya Potanin, Alex University of Kansas LawrenceKS United States National University of Singapore Singapore Australian National University Canberra Australia
Synthetic Separation Logic (SSL) is a formalism that powers SuSLik, the state-of-the-art approach for the deductive synthesis of provably-correct programs in C-like languages that manipulate heap-based linked data str... 详细信息
来源: 评论
stableKanren: Integrating Stable Model Semantics with miniKanren  23
stableKanren: Integrating Stable Model Semantics with miniKa...
收藏 引用
25th International Symposium on Principles and Practice of Declarative programming (PPDP) As part of the ACM SIGPLAN Conference on Systems, programming, Languages, and Applications - Software for Humanity (SPLASH)
作者: Guo, Xiangyu Smith, James Bansal, Ajay Arizona State Univ Tempe AZ 85287 USA
This paper presents stableKanren, a miniKanren extension with normal logic programming support under stable model semantics. MiniKanren is a relational programming solver implemented atop Scheme via shallow embedding,... 详细信息
来源: 评论
Verified Scalable Parallel Computing with Why3  21st
Verified Scalable Parallel Computing with Why3
收藏 引用
21st International Workshop on Software Engineering and Formal Methods (SEFM)
作者: Proust, Olivia Loulergue, Frederic Univ Orleans INSA CVL LIFO EA 4022 Orleans France
BSML is a pure functional library for the multi-paradigm language OCaml. BSML embodies the principles of the Bulk Synchronous Parallel (BSP) model, a model of scalable parallel computing. We propose a formalization of... 详细信息
来源: 评论