咨询与建议

限定检索结果

文献类型

  • 154 篇 会议
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 133 篇 工学
    • 112 篇 计算机科学与技术...
    • 112 篇 软件工程
    • 16 篇 电气工程
    • 15 篇 仪器科学与技术
    • 2 篇 控制科学与工程
    • 2 篇 建筑学
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 冶金工程
    • 1 篇 土木工程
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物工程
  • 27 篇 理学
    • 25 篇 数学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 地质学
    • 1 篇 生物学
  • 9 篇 管理学
    • 8 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
    • 1 篇 作物学
  • 1 篇 军事学

主题

  • 31 篇 computer program...
  • 15 篇 functional progr...
  • 13 篇 computer program...
  • 8 篇 lisp (programmin...
  • 8 篇 program compiler...
  • 7 篇 object oriented ...
  • 5 篇 ada (programming...
  • 5 篇 semantics
  • 4 篇 parallel program...
  • 3 篇 programming theo...
  • 2 篇 computer systems...
  • 2 篇 calculations
  • 2 篇 dynamic programm...
  • 2 篇 apl (programming...
  • 2 篇 computer softwar...
  • 2 篇 multiprogramming
  • 1 篇 computer science
  • 1 篇 macro commands
  • 1 篇 programming prof...
  • 1 篇 performance

机构

  • 3 篇 indiana univ blo...
  • 2 篇 ceab-csic blanes
  • 2 篇 ilog gentilly
  • 2 篇 mit laboratory f...
  • 2 篇 xerox parc unite...
  • 2 篇 natl univ of sin...
  • 2 篇 crcge marcoussis
  • 2 篇 xerox palo alto ...
  • 1 篇 yale univ united...
  • 1 篇 computer science...
  • 1 篇 duke univ durham...
  • 1 篇 dept. mathematic...
  • 1 篇 department of co...
  • 1 篇 krupp-atlas-elek...
  • 1 篇 department of co...
  • 1 篇 university of al...
  • 1 篇 univ. of bath ba...
  • 1 篇 tektronix labora...
  • 1 篇 georgia inst tec...
  • 1 篇 indiana universi...

作者

  • 3 篇 gifford david k.
  • 3 篇 queinnec christi...
  • 3 篇 white jon l.
  • 2 篇 davis harley
  • 2 篇 cardelli luca
  • 2 篇 chuang tyng-ruey
  • 2 篇 seniak nitsan
  • 2 篇 lee peter
  • 2 篇 osborne randy b.
  • 2 篇 parquier pierre
  • 2 篇 mohr eric
  • 2 篇 padget julian
  • 2 篇 bobrow daniel g.
  • 2 篇 gabriel richard ...
  • 1 篇 model mitchell l...
  • 1 篇 peyton jones s.l...
  • 1 篇 steele guy l.
  • 1 篇 dalton jeff
  • 1 篇 moore donald r.
  • 1 篇 haikala ilkka j.

语言

  • 155 篇 英文
检索条件"任意字段=Proceedings of the 1992 ACM Conference on Lisp and Functional Programming"
155 条 记 录,以下是131-140 订阅
排序:
Symbolic computing with and without lisp  80
Symbolic computing with and without LISP
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: Campbell, J.A. Fitch, J.P. Department of Computer Science University of Exeter ExeterEX4 4QL United Kingdom School of Mathematics University of Bath Claverton Down BathBA2 7AY United Kingdom
The advantages and disadvantages of lisp-based algebraic computing, compared to its rivals, are considered. Present features of lisp, and features desirable for the future, which generate the advantages for lisp, are ...
来源: 评论
Compilation techniques for a control-flow concurrent lisp system  80
Compilation techniques for a control-flow concurrent LISP sy...
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: Marti, Jed B. University of Utah United States
Described is a strategy for the Compilation of lisp programs for a concurrent processing system in the presence of global side effects. Tne method supports "horizontal" concurrency, the concurrency available... 详细信息
来源: 评论
lisp - Notes on its past and future  80
LISP - Notes on its past and future
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: McCarthy, John Computer Science Department Stanford University United States
lisp has survived for 21 years because it is an approximate local optimum in the space of programming languages. However, it has accumulated some barnacles that should be scraped off, and some long-standing opportunit...
来源: 评论
Multiprocessing via intercommunicating lisp systems  80
Multiprocessing via intercommunicating LISP systems
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: Model, Mitchell L. Physics Department Brandeis University United States
Multiprocess environments comprising several intercommunicating lisp systems are straightforward to implement due to certain fundamental characteristics of the lisp language. Experiences with four methods of establish...
来源: 评论
Local optimization in a compiler for stack-based lisp machines  80
Local optimization in a compiler for stack-based LISP machin...
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: Masinter, Larry M. Deutsch, L. Peter Xerox Palo Alto Research Center United States
We describe the local optimization phase of a compiler for translating the INTERUSP dialect of lisp into stack-architecture (0-address) instruction sets. We discuss the general organization of the compiler, and then d... 详细信息
来源: 评论
SKIM - The S, K, i reduction machine  80
SKIM - The S, K, i reduction machine
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: Clarke, T.J.W. Gladstone, P.J.S. MacLean, C.D. Norman, A.C. Trinity College Cambridge United States
SKIM is a computer built to explore pure functional programming, combinators as a machine language and the use of hardware to provide direct support for a high level language. Its design stresses simplicity and aims a... 详细信息
来源: 评论
On compiling embedded languages in lisp  80
On compiling embedded languages in LISP
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: Emanuelson, Par Haraldsson, Anders Software Systems Research Center Linköping University Linköping Sweden
In INTERlisp we find a number of embedded languages such as the iterative statement and the pattern match facility in the Clisp package, the editor and makefile languages and so forth. We will in this paper concentrat... 详细信息
来源: 评论
Multi - A lisp based multiprocessing system  80
Multi - A LISP based multiprocessing system
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: McKay, Donald P. Shapiro, Stuart C. Department of Computer Science SUNY/Buffalo 4226 Ridge Lea AmherstNY14226 United States
A package of lisp functions, collectively called MULTI, which extends lisp 1.5 to multiprogramming is presented. MULTI defines the notion of a process within a lisp implementation using function invocation as the only... 详细信息
来源: 评论
Explicit parallelism in lisp-like languages  80
Explicit parallelism in LISP-like languages
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: Prini, Gianfranco Information Sciences Institute University of Pisa Corso Italia 40 PisaI-56100 Italy
We introduce a lisp-like language whose parameter passing mechanism and control primitives allow for the creation and the synchronization of an arbitrary number of concurrent computations. The parameter passing mechan... 详细信息
来源: 评论
An efficient environment allocation scheme in an interpreter for a lexica1ly-scoped lisp  80
An efficient environment allocation scheme in an interpreter...
收藏 引用
1980 acm conference on lisp and functional programming, LFP 1980
作者: McDermott, Drew Yale University Department of Computer Science United States
Lexically-scoped lisp dialects offer great flexibility and expressive power. Unfortunately, they tend to be inefficiently implemented, because many interpreter structures such as variable binding environments must be ... 详细信息
来源: 评论