咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2,285 篇 工学
    • 1,872 篇 计算机科学与技术...
    • 1,488 篇 软件工程
    • 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,795 篇 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...
  • 129 篇 hardware
  • 117 篇 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,642 篇 英文
  • 141 篇 其他
  • 7 篇 中文
  • 2 篇 西班牙文
  • 1 篇 德文
  • 1 篇 法文
  • 1 篇 日文
  • 1 篇 俄文
检索条件"主题词=Functional Programming"
3795 条 记 录,以下是201-210 订阅
排序:
Automated problem checking for functional programming course  11
Automated problem checking for functional programming course
收藏 引用
11th International Scientific-Practical Conference Modern Information Technologies and IT-Education, SITITO 2016
作者: Simuni, Michael Soloviov, Alexey Shaitan, Vasiliy St.Petersburg State University St.Petersburg Russia JobToday St.Petersburg Russia Peter the Great St.Petersburg Polytechnic University St.Petersburg Russia
In the article the system for problem testing and checking is considered. The most important features of testing system, tools for automated problem checking and the features for the next system version are considered.
来源: 评论
Haskelite: A Step-By-Step Interpreter for Teaching functional programming  4
Haskelite: A Step-By-Step Interpreter for Teaching Functiona...
收藏 引用
4th International Computer programming Education Conference, ICPEC 2023
作者: Vasconcelos, Pedro Departamento de Ciência de Computadores Faculdade de Ciências Universidade do Porto Portugal LIACC Laboratório de Inteligência Artificial e Ciência de Computadores Porto Portugal
This paper describes Haskelite, a step-by-step interpreter for a small subset of Haskell. Haskelite is designed to help teach fundamental concepts of functional programming, namely: evaluation by rewriting;definition ... 详细信息
来源: 评论
DAda - An Ada preprocessor for functional programming
DAda - An Ada preprocessor for functional programming
收藏 引用
Conference on TRI-ADA 1990
作者: Bailes, Paul A. Johnston, Dan Salzman, Eric Wang, Li Language Design Laboratory Department of Computer Science University of Queensland QLD 4072 Australia
The impact of declarative (functional) programming is inhibited by the need to learn/use new languages. A series of language extensions implemented by preprocessing, which integrates functional programming into the Ad... 详细信息
来源: 评论
Towards formally verifiable WCET analysis for a functional programming language
Towards formally verifiable WCET analysis for a functional p...
收藏 引用
6th International Workshop on Worst-Case Execution Time Analysis, WCET 2006
作者: Hammond, Kevin Ferdinand, Christian Heckmann, Reinhold Dyckhoff, Roy Hofmann, Martin Jost, Steffen Loidl, Hans-Wolfgang Michaelson, Greg Pointon, Robert Scaife, Norman Sérot, Jocelyn Wallace, Andy School of Computer Science University of St Andrews North Haugh St-Andrews KY16 9SX United Kingdom AbsInt GmbH Saarbrücken Germany Ludwig-Maximilians Universität München Germany Dept. of Comp. Sci. and Elec. Eng. Heriot-Watt University Riccarton Edinburgh United Kingdom LASMEA Université Blaise-Pascal Clermont-Ferrand France
This paper describes ongoing work aimed at the construction of formal cost models and analyses to yield verifiable guarantees of resource usage in the context of real-time embedded systems. Our work is conducted in te... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
The role of beta conversion in functional programming  27
The role of beta conversion in functional programming
收藏 引用
27th International Conference on Information Modelling and Knowledge Bases, EJC 2017
作者: Menšík, Marek Duží, Marie Kermaschek, Jakub VSB-Technical University Ostrava Department of Computer Science FEI 17. listopadu 15 Ostrava708 33 Czech Republic
The paper deals with the fundamental computational rule of functional programming languages, namely the rule of beta conversion. This rule specifies the way in which a function f is applied to its argument a. There ar... 详细信息
来源: 评论
Using π—RED as a teaching tool for functional programming and program execution  1st
Using π—RED as a teaching tool for functional programming ...
收藏 引用
1st International Symposium on functional programming Languages in Education, FPLE 1995
作者: Kluge, Werner E. Rathsack, Carsten Scholz, Sven-Bodo Christian-Albrechts-Universitaet Kiel Institut fuer Informatik KielD-24105 Germany
This paper describes an interactively controlled reduction system π-RED which may be employed to teach both basic concepts of functional programming and program execution at the undergraduate level, and advanced topi... 详细信息
来源: 评论
An application of object-functional programming to simulation modelling for defence DSTL/CP104681 - DSTL © crown copyright 2017
An application of object-functional programming to simulatio...
收藏 引用
2018 Operational Research Society Simulation Workshop, SW 2018
作者: Toomey, Gareth Glover, Paul Ansell, Rick Defence Science and Technology Laboratory Dstl Portsdown West Portsdown Hill Road Fareham HampshirePO17 6AD United Kingdom
This paper discusses the Dstl experience of applying the emerging Object-functional paradigm to simulation modelling for defence and the ‘so-what’ for analysis. The simulation framework has been named GAMOV, in reco... 详细信息
来源: 评论
Formalization of operations and function definitions in a functional programming language for data structures  87
Formalization of operations and function definitions in a fu...
收藏 引用
15th Annual Conference on Computer Science, CSC 1987
作者: Thompson, John C. Sanati-Mehrizy, Reza Electrical Engineering and Computer Science University of Oklahoma 202 W. Boyd. NormanOK73019 United States
This paper presents a method for formalization of operations on certai6 class of syntacti tally represented linked Data Structures and then defines a set of functions to perform the operations. The formalization will ... 详细信息
来源: 评论
Typed object-oriented functional programming with late binding  10th
收藏 引用
10th European Conference on Object-Oriented programming, ECOOP 1996
作者: Qian, Zhenyu Krieg-Brückner, Bernd FB3 Informatik Universität Bremen Postfach 330440 BremenD-28334 Germany
Object-oriented programming languages are suitable for describing real-world objects, functional programming languages for algebraic values. In this paper we propose an object-oriented functional programming language,... 详细信息
来源: 评论