咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是41-50 订阅
排序:
Compilation as partitioning: A new approach to compiling non-strict functional languages  89
Compilation as partitioning: A new approach to compiling non...
收藏 引用
4th International conference on functional programming languages and computer architecture, fpca 1989
作者: Traub, Kenneth R. Motorola Cambridge Research Center CambridgeMA02139 United States
In non-strict functional languages, a data structure may be read before all its components are written, and a function may return a value before finishing all its computation or even before all its arguments have been... 详细信息
来源: 评论
Sound rules for parallel evaluation of a functional language with callcc
Sound rules for parallel evaluation of a functional language...
收藏 引用
Proceedings of the 6th International conference on functional programming languages and computer architecture (fpca '93)
作者: Moreau, Luc Ribbens, Daniel Univ of Liege Liege Belgium
Observationally equivalent programs are programs which are indistinguishable in all contexts, as far as their termination property is concerned. In this paper, we present rules preserving observational equivalence, fo... 详细信息
来源: 评论
Benchmarking real-life image processing programs in lazy functional languages  93
Benchmarking real-life image processing programs in lazy fun...
收藏 引用
Proceedings of the 6th International conference on functional programming languages and computer architecture (fpca '93)
作者: Kozato, Y. Otto, G.P. Canon Inc Kanagawa Japan
This paper presents our practical experience gained from writing image processing programs in lazy functional languages. We give some benchmarking results comparing median filter operations written in C, Miranda and H... 详细信息
来源: 评论
Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregates  93
Order-of-evaluation analysis for destructive updates in stri...
收藏 引用
Proceedings of the 6th International conference on functional programming languages and computer architecture (fpca '93)
作者: Sastry, A.V.S. Clinger, William Ariola, Zena Univ of Oregon Eugene OR United States
The aggregate update problem in functional languages is concerned with detecting cases where a functional array or record update operation can be implemented destructively in constant time. Previous work on this probl... 详细信息
来源: 评论
Delimiting the scope of effects  93
Delimiting the scope of effects
收藏 引用
Proceedings of the 6th International conference on functional programming languages and computer architecture (fpca '93)
作者: Riecke, Jon G. AT&T Bell Lab Murray Hill NJ United States
Program fragments in functional languages may be observationally congruent in a language without effects (continuations, state, exceptions) but not in an extension with effects. We give a generic way to preserve pure ... 详细信息
来源: 评论
DATABASE programming WITH DATA ABSTRACTIONS.  81
DATABASE PROGRAMMING WITH DATA ABSTRACTIONS.
收藏 引用
AFIPS conference Proceedings - 1981 National computer conference.
作者: Leavenworth, Burt IBM Corporation Thomas J. Watson Research Center Yorktown Heights New York
This paper describes how a general purpose programming language supporting the notion of data abstraction can be used as a data definition and manipulation language for database management systems. The examples used h... 详细信息
来源: 评论
DIGITAL SYSTEMS AS MATHEMATICAL EXPRESSIONS.
Digest of Papers - IEEE Computer Society International Confe...
收藏 引用
Digest of Papers - IEEE computer Society International conference 1981年 414-416页
作者: Frankel, Robert E. Smoliar, Stephen W.
Register transfer languages are inadequate as a convenient mathematical formalism which will facilitate the description, analysis, and synthesis of digital systems at various levels of complexity. functional programmi... 详细信息
来源: 评论
DIRECT HARDWARE EXECUTION OF A HIGH LEVEL LANGUAGE: SOME FUNDAMENTAL OBSERVATIONS.
Conference Record - Asilomar Conference on Circuits, Systems...
收藏 引用
conference Record - Asilomar conference on Circuits, Systems & computers 1981年 470-474页
作者: Manwaring, Mark L. Meador, Jack L.
A new view of the high level computer architecture is introduced. Language theoretical concepts are applied to digital systems engineering in a manner which allows for more complete understanding of the direct executi... 详细信息
来源: 评论
SIMULATOR FOR ON-LINE ARITHMETIC.
Conference Proceedings - Annual Symposium on Computer Archit...
收藏 引用
conference Proceedings - Annual Symposium on computer architecture 1981年 92-98页
作者: Raghavendra, C.S. Ercegovac, M.D.
The design and implementation of a simulator for on-line arithmetic algorithms are described. The simulator evaluates arithmetic expressions given in a highly functional form. Presently, the set of operations supporte... 详细信息
来源: 评论
Fixing some space leaks without a garbage collector  93
Fixing some space leaks without a garbage collector
收藏 引用
Proceedings of the 6th International conference on functional programming languages and computer architecture (fpca '93)
作者: Sparud, Jan Chalmers Univ of Technology Goteborg Sweden
This paper describes a method for eliminating a certain class of space leaks in lazy functional languages. A program that space leaks consumes more memory than would be expected. This may lead to longer execution time... 详细信息
来源: 评论