咨询与建议

限定检索结果

文献类型

  • 16 篇 会议
  • 13 篇 期刊文献

馆藏范围

  • 29 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 27 篇 工学
    • 21 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 7 篇 电气工程
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 2 篇 网络空间安全
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
  • 5 篇 理学
    • 3 篇 数学
    • 2 篇 物理学
    • 1 篇 系统科学
  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 29 篇 functional progr...
  • 6 篇 functional progr...
  • 4 篇 programming
  • 3 篇 theorem proving
  • 3 篇 language
  • 3 篇 lambda calculus
  • 2 篇 termination
  • 2 篇 linear logic
  • 2 篇 parallel process...
  • 2 篇 curry-howard iso...
  • 2 篇 syntax
  • 2 篇 parallel program...
  • 2 篇 erlang
  • 2 篇 functional langu...
  • 2 篇 continuations
  • 2 篇 programming lang...
  • 2 篇 formal verificat...
  • 2 篇 haskell
  • 2 篇 data models
  • 1 篇 pattern-matching

机构

  • 1 篇 department of ma...
  • 1 篇 gunma univ fac i...
  • 1 篇 东南大学
  • 1 篇 univ melbourne c...
  • 1 篇 here
  • 1 篇 graduate school ...
  • 1 篇 tohoku univ send...
  • 1 篇 univ politehn bu...
  • 1 篇 elte soft ltd bu...
  • 1 篇 mit csail 77 mas...
  • 1 篇 univ paris dider...
  • 1 篇 univ novi sad fa...
  • 1 篇 department of co...
  • 1 篇 king's college l...
  • 1 篇 global scientifi...
  • 1 篇 南京师范大学
  • 1 篇 hardware/softwar...
  • 1 篇 applied mathemat...
  • 1 篇 ericsson busines...
  • 1 篇 inria sophia ant...

作者

  • 2 篇 nishizaki shin-y...
  • 1 篇 chitil olaf
  • 1 篇 takahashi naohis...
  • 1 篇 frank hannig
  • 1 篇 loh andres
  • 1 篇 bira calin
  • 1 篇 kai lin
  • 1 篇 kjetil svarstad
  • 1 篇 armstrong joe
  • 1 篇 b. n. uchevler
  • 1 篇 coutts duncan
  • 1 篇 naish lee
  • 1 篇 gallesio e
  • 1 篇 殷奕
  • 1 篇 haruhiko sato
  • 1 篇 masahito kurihar...
  • 1 篇 nunokawa h
  • 1 篇 takayanagi yuta
  • 1 篇 plotkin gordon d...
  • 1 篇 li shen

语言

  • 28 篇 英文
  • 1 篇 中文
检索条件"主题词=Functional Programming Language"
29 条 记 录,以下是1-10 订阅
排序:
Parallel Machine Simulator Using Racket/Scheme functional programming language  10
Parallel Machine Simulator Using Racket/Scheme Functional Pr...
收藏 引用
Conference on Advanced Topics in Optoelectronics, Microelectronics and Nanotechnologies X
作者: Bira, Calin Gugu, Liviu Univ Politehn Bucuresti Fac Elect Telecommun & Informat Technol ETTI Dept Devices Circuits & Elect Architectures DCAE Bucharest Romania
In this paper we investigate writing and using of a functional parallel-machine simulator, in a functional programming language as opposed to an imperative programming language, in terms of code-size, versatility and ... 详细信息
来源: 评论
OPERATIONAL MACHINE SPECIFICATION IN A functional programming language
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1995年 第5期25卷 463-499页
作者: KOOPMAN, PWM VANEEKELEN, MCJD PLASMEIJER, MJ UNIV NIJMEGEN DEPT COMP SCINIJMEGEN 6525 EDNETHERLANDS
This paper advocates the use functional programming languages for the formal specification of (abstract) machines. The presented description method describes machines by a two-Level model. At the bottom layer machine ... 详细信息
来源: 评论
INCORPORATING THE PARALLEL-PROCESSING TECHNIQUES WITH THE DEMAND-DRIVEN MODEL OF functional programming-languageS
INCORPORATING THE PARALLEL-PROCESSING TECHNIQUES WITH THE DE...
收藏 引用
TENCON 93 - 1993 IEEE Region 10 Conference on Computer, Communication, Control and Power Engineering
作者: SHEN, H KOBAYASHI, H NAKAMURA, T TOHOKU UNIV DEPT MACHINE INTELLIGENCE & SYST ENGNSENDAIMIYAGI 980JAPAN
This paper presents a hybrid reduction scheme that incorporates parallel processing techniques into the demand-driven model of functional programs. With this scheme, functional language programs can be executed in par... 详细信息
来源: 评论
Reversible functor: Immutable aggregate with constant time update operation
收藏 引用
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 1996年 第12期E79D卷 1646-1654页
作者: Aoyagi, T Faculty of Electro-Communi Cations University of Electro-Communications Chofushi 182 Japan
In logic programming or functional programming languages, data objects, such as terms and lists, are immutable. In a basic implementation of such language, updating one element of an aggegate (contiguous data structur... 详细信息
来源: 评论
Skribe: a functional authoring language
收藏 引用
JOURNAL OF functional programming 2005年 第5期15卷 751-770页
作者: Gallesio, E Serrano, M Univ Nice F-06903 Sophia Antipolis France INRIA Sophia Antipolis F-06903 Sophia Antipolis France
This paper presents SKRIBE, a functional programming language for authoring documents, especially technical documents such as web pages, technical reports, and API documentation. Executing Skribe programs can produce ... 详细信息
来源: 评论
Ur/Web: A Simple Model for programming the Web
收藏 引用
COMMUNICATIONS OF THE ACM 2016年 第8期59卷 93-100页
作者: Chlipala, Adam MIT CSAIL 77 Massachusetts Ave Cambridge MA 02139 USA
The World Wide Web has evolved gradually from a document delivery platform to an architecture for distributed programming. This largely unplanned evolution is apparent in the set of interconnected languages and protoc... 详细信息
来源: 评论
Erlang
收藏 引用
COMMUNICATIONS OF THE ACM 2010年 第9期53卷 68-75页
作者: Armstrong, Joe Ericsson Business Unit Networks Stockholm Sweden
The article presents information on Erlang, a computer programming language available under an open-source license. It is described as a concurrent language which works well for multicore computers. Erlang was develop... 详细信息
来源: 评论
Deterministic Parallel programming with Haskell
收藏 引用
COMPUTING IN SCIENCE & ENGINEERING 2012年 第6期14卷 36-42页
作者: Coutts, Duncan Loh, Andres Well-Typed LLP Well-Typed LLP
Haskell is a modern, functional programming language with an interesting story to tell about parallelism: rather than using concurrent threads and locks, Haskell offers a variety of libraries that enable concise, high... 详细信息
来源: 评论
THE IMPLEMENTATION OF FDL, A functional DATABASE language
收藏 引用
COMPUTER JOURNAL 1992年 第2期35卷 119-128页
作者: POULOVASSILIS, A King's College London Strand London WC2R 2LS
We describe the implementation of the functional database language FDL. FDL improves upon previous languages with a functional data model hy allowing any computable function to he defined and stored and hy supporting ... 详细信息
来源: 评论
PROVING PROPERTIES OF PROGRAMS BY STRUCTURAL INDUCTION
收藏 引用
COMPUTER JOURNAL 1969年 第1期12卷 41-&页
作者: BURSTALL, RM Department of Machine Intelligence and Perception University of Edinburgh
This paper discusses the technique of structural induction for proving theorems about programs. This technique is closely related to recursion induction but makes use of the inductive definition of the data structures... 详细信息
来源: 评论