咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是31-40 订阅
排序:
Verified functional programming of an Abstract Interpreter  1
收藏 引用
28th International Static Analysis Symposium (SAS)
作者: Franceschino, Lucas Pichardie, David Talpin, Jean-Pierre Inria Irisa Rennes Rennes France ENS Rennes Rennes France
. Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to bugs, that might question the sound... 详细信息
来源: 评论
Crumbs: Utilizing functional programming for Hardware Trace Data Analysis  2021
Crumbs: Utilizing Functional Programming for Hardware Trace ...
收藏 引用
29th International Conference on Real-Time Networks and Systems (RTNS)
作者: Brand, Max Mayer, Albrecht Slomka, Frank Infineon Technol AG Neubiberg Germany Ulm Univ Ulm Germany
As modern system-on-chip devices are getting more complex, so does their software. Luckily, the observational capabilities of such devices has also increased by providing interfaces for non-intrusive hardware tracing.... 详细信息
来源: 评论
High-Level Modelling for Typed functional programming  22nd
High-Level Modelling for Typed Functional Programming
收藏 引用
22nd International Symposium on Trends in functional programming (TFP)
作者: Motara, Yusuf Moosa Rhodes Univ Dept Comp Sci ZA-6140 Makhanda South Africa
There is currently no way to model the high-level structural design of a functional system. Given the strong links between functional programming and mathematics, it is hypothesised that the language of mathematics ca... 详细信息
来源: 评论
Join Inverse Rig Categories for Reversible functional programming, and Beyond  37
Join Inverse Rig Categories for Reversible Functional Progra...
收藏 引用
37th Conference on Mathematical Foundations of programming Semantics (MFPS)
作者: Kaarsgaard, Robin Rennela, Mathys Univ Edinburgh Edinburgh Scotland INRIA Paris France
Reversible computing is a computational paradigm in which computations are deterministic in both the forward and backward direction, so that programs have well-defined forward and backward semantics. We investigate th... 详细信息
来源: 评论
Reducing Structured Query Language Injection Vulnerabilities Through functional programming Principles
Reducing Structured Query Language Injection Vulnerabilities...
收藏 引用
IEEE Southeastcon
作者: Michael Piscatello MBP Research Group Elizabethtown USA
Web application security breaches frequently involve exploiting structured query language (SQL) injection vulnerabilities introduced by weaknesses in the coding style. Software engineers commonly lack the expertise an... 详细信息
来源: 评论
Multicategory: Multi-model query processing meets categtheory and functional programming  47th
Multicategory: Multi-model query processing meets categtheor...
收藏 引用
47th International Conference on Very Large Data Bases, VLDB 2021
作者: Uotila, Valter Lu, Jiaheng Gawlick, Dieter Liu, Zhen Hua Das, Souripriya Pogossiants, Gregory University of Helsinki Finland Oracle Corporation Finland SATS Technologies Finland
The variety of data is one of the important issues in the era of Big Data. The data are naturally organized in different formats and models, including structured data, semi-structured data, and unstructured data. Prio... 详细信息
来源: 评论
Involvement of functional programming in Language Processing and Machine Learning
Involvement of Functional Programming in Language Processing...
收藏 引用
Innovation in Technology (INOCON), IEEE International Conference for
作者: Dinesh C. Dobhal Bhawnesh Kumar Purushottam Das Department of Computer Science and Engineering Graphic Era Deemed To Be University Dehradun India School of Computing Graphic Era Hill University Dehradun India
The involvement of functional programming is allowed to be determined in this research article. Therefore, the impact of language programming is an important factor that has an impactful role within functional program... 详细信息
来源: 评论
Support tools for functional programming distance learning and teaching
Support tools for functional programming distance learning a...
收藏 引用
International Conference on Marchuk Scientific Readings 2021, MSR 2021
作者: Kasyanov, V.N. Kasyanova, E.V. Malishev, A.A. A.P. Ershov Institute of Informatics Systems Sb Ras Ac. Lavrentieva ave. 6 Novosibirsk630090 Russia
The cloud parallel programming system CPPS being under development at the A.P. Ershov Institute of Informatics Systems SB RAS is based on the Cloud Sisal language which carries on the traditions of previous versions o... 详细信息
来源: 评论
DISCO: A functional programming Language for Discrete Mathematics
arXiv
收藏 引用
arXiv 2023年
作者: Yorgey, Brent A. Hendrix College ConwayAR United States
DISCO is a pure, strict, statically typed functional programming language designed to be used in the setting of a discrete mathematics course. The goals of the language are to introduce students to functional programm... 详细信息
来源: 评论
The Role of functional programming in the Organization of Parallel Computing  23
The Role of Functional Programming in the Organization of Pa...
收藏 引用
23rd Conference on Scientific Services and Internet, SSI 2021
作者: Gorodnyaya, Lidia V. SB RAS Acad. Lavrentjev pr. 6 Novosibirsk630090 Russia
The article is devoted to the results of the analysis of modern trends in the field of functional programming, considered as a methodology for solving problems of organizing parallel computing. The paradigm analysis o... 详细信息
来源: 评论