咨询与建议

限定检索结果

文献类型

  • 75 篇 会议
  • 10 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 72 篇 工学
    • 68 篇 计算机科学与技术...
    • 62 篇 软件工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 信息与通信工程
    • 4 篇 电气工程
    • 3 篇 力学(可授工学、理...
    • 3 篇 材料科学与工程(可...
    • 3 篇 控制科学与工程
    • 3 篇 建筑学
    • 2 篇 土木工程
    • 2 篇 农业工程
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 化学工程与技术
    • 1 篇 石油与天然气工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 29 篇 理学
    • 25 篇 数学
    • 3 篇 物理学
    • 2 篇 系统科学
    • 1 篇 化学
    • 1 篇 生物学
    • 1 篇 统计学(可授理学、...
  • 5 篇 管理学
    • 3 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 2 篇 图书情报与档案管...
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 军事学

主题

  • 14 篇 computer program...
  • 8 篇 functional progr...
  • 8 篇 computer softwar...
  • 4 篇 semantics
  • 4 篇 computer program...
  • 3 篇 computer archite...
  • 2 篇 computer systems...
  • 2 篇 computational co...
  • 2 篇 set theory
  • 2 篇 calculations
  • 2 篇 computer metathe...
  • 2 篇 data structures
  • 1 篇 object oriented ...
  • 1 篇 computer circuit...
  • 1 篇 parallel archite...
  • 1 篇 function evaluat...
  • 1 篇 libraries
  • 1 篇 modeling languag...
  • 1 篇 data-flow langua...
  • 1 篇 program interpre...

机构

  • 4 篇 department of co...
  • 3 篇 department of co...
  • 2 篇 yale university ...
  • 1 篇 western electric...
  • 1 篇 computer systems...
  • 1 篇 univ of york yor...
  • 1 篇 computer science...
  • 1 篇 univ of glasgow ...
  • 1 篇 department of co...
  • 1 篇 canon inc kanaga...
  • 1 篇 department of co...
  • 1 篇 department of co...
  • 1 篇 univ of amsterda...
  • 1 篇 icad inc. 1000 m...
  • 1 篇 university colle...
  • 1 篇 department of co...
  • 1 篇 hewlett-packard ...
  • 1 篇 massachusetts in...
  • 1 篇 department of in...
  • 1 篇 oldenburg univer...

作者

  • 5 篇 anon
  • 3 篇 arvind
  • 2 篇 kathail vinod
  • 2 篇 smoliar stephen ...
  • 2 篇 runciman colin
  • 2 篇 keller robert m.
  • 2 篇 frankel robert e...
  • 2 篇 hudak paul
  • 2 篇 raghavendra c.s.
  • 2 篇 ercegovac m.d.
  • 2 篇 ariola zena
  • 2 篇 manwaring mark l...
  • 2 篇 meador jack l.
  • 1 篇 mishra prateek
  • 1 篇 musser d.r.
  • 1 篇 seaman jill
  • 1 篇 ang boon seong
  • 1 篇 spillinger ilan
  • 1 篇 frankel robert
  • 1 篇 maritsas d.g.

语言

  • 76 篇 英文
  • 10 篇 其他
检索条件"任意字段=1981 Conference on Functional Programming Languages and Computer Architecture, FPCA 1981"
86 条 记 录,以下是21-30 订阅
排序:
A compositional approach to time analysis of first order lazy functional programs  4
A compositional approach to time analysis of first order laz...
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Bjerner, Bror Holmström, Sören Programming Methodology Group Department of Computer Science Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden
We present a method for computing the number of steps needed to compute a lazy first order functional program e (to an approximation of its value). The method itself is described as a lazy functional program. Moreover... 详细信息
来源: 评论
Extended projection - A new method to extract efficient programs from constructive proofs  4
Extended projection - A new method to extract efficient prog...
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Takayama, Yukihide Institute for New Generation Computer Technology 4-28 Mita 1-chome Minato-ku Tokyo108 Japan
This paper gives a method to extract redundancy free programs from constructive proofs, using the read-ability interpretation. The proof trees are analyzed in the style of program analysis, and they are mechani-cally ... 详细信息
来源: 评论
Nondeterminism and unification in LogScheme: Integrating logic and functional programming  89
Nondeterminism and unification in LogScheme: Integrating log...
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Ruf, Erik Weise, Daniel Computer Systems Laboratory CIS Building Stanford University StanfordCA94305-4070 United States
LogScheme is an experiment in adding the main features of logic programming, nondeterminism and unification, into the (mostly) functional language Scheme. We use a minimalist approach, based on the observation that no... 详细信息
来源: 评论
Using types as search keys in function libraries  89
Using types as search keys in function libraries
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Rittri, Mikael Programming Methodology Group Dept. of Computer Sciences Chalmers U. of Tech. and U. of Göteborg GöteborgS-412 96 Sweden
A method is proposed to search for an identifier by using its type as a key. This can be seen as an approximation of using the specification as a key. Functions that only differ in their currying or argument order are... 详细信息
来源: 评论
Automatic complexity analysis  89
Automatic complexity analysis
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Rosendahl, Mads Computer Laboratory University of Cambridge CambridgeCB2 3QG United Kingdom
One way to analyse programs is to to derive expressions for their computational behaviour. A time bound function (or worst-case complexity) gives an upper bound for the computation time as a function of the size of in... 详细信息
来源: 评论
Untagged data in tagged environments: Choosing optimal representations at compile time  89
Untagged data in tagged environments: Choosing optimal repre...
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Peterson, John Department of Computer Science University of Arizona TucsonAZ85721 United States
Many programming environments make use data representations which are not native to the underlying hardware. Both untyped languages, such as Lisp or Scheme, and languages with static polymorphic typechecking, such as ...
来源: 评论
Architectural improvements for data-driven VLSI processing arrays  89
Architectural improvements for data-driven VLSI processing a...
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Weiss, Shlomit Spillinger, Ilan Silberman, Gabriel M. Electrical Engineering Department Technion Haifa32000 Israel Electrical and Computer Engineering Department Carnegie Mellon University PittsburghPA15213 United States
In this work we explore three modifications to the architecture of a Data-Driven VLSI array of processors, previously introduced in [1]. These modifications are geared towards improving the array utilization, as well ... 详细信息
来源: 评论
Parallel graph reduction with the (ν, G)-machine  4
Parallel graph reduction with the (ν, G)-machine
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Augustsson, Lennart Johnsson, Thomas Department of Computer Science Chalmers University of Technology GöteborgS-412 96 Sweden
We have implemented a parallel graph reducer on a commercially available shared memory multiprocessor (a Sequent Symmetry™), that achieves real speedup compared to a a fast compiled implementation of the conventional ... 详细信息
来源: 评论
Set abstraction in functional and logic programming  89
Set abstraction in functional and logic programming
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Silbermann, Frank S.K. Jayaraman, Bharat Department of Computer Science Tulane University New OrleansLA70118 United States Department of Computer Science State University of New York at Buffalo BuffaloNY14260 United States
This paper addresses the declarative and computational issues of incorporating set abstraction into functional and logic programming languages. The main results are the following: (i) Relative set abstraction can comb... 详细信息
来源: 评论
Widening the representation bottleneck: A functional implementation of relational programming
Widening the representation bottleneck: A functional impleme...
收藏 引用
Proceedings of the 6th International conference on functional programming languages and computer architecture (fpca '93)
作者: Cattrall, Dave Runciman, Colin Univ of York York United Kingdom
Relational programming is a generalization of functional programming that includes aspects of logic programming. We describe a relational language, Drusilla, that retains the lazy, polymorphic and higher-order aspects... 详细信息
来源: 评论