咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 47 篇 工学
    • 47 篇 计算机科学与技术...
    • 46 篇 软件工程
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 电子科学与技术(可...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
  • 8 篇 理学
    • 6 篇 数学
    • 1 篇 物理学
    • 1 篇 化学
  • 5 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 3 篇 工商管理
    • 1 篇 图书情报与档案管...

主题

  • 25 篇 computer program...
  • 7 篇 computer program...
  • 3 篇 computer operati...
  • 3 篇 functional progr...
  • 2 篇 computer systems...
  • 2 篇 parallel program...
  • 2 篇 logic programmin...
  • 1 篇 quantitative ana...
  • 1 篇 lisp (programmin...
  • 1 篇 database systems
  • 1 篇 executable speci...
  • 1 篇 static analysis
  • 1 篇 embedded domain-...
  • 1 篇 resource consump...
  • 1 篇 semantics
  • 1 篇 satisfiability m...
  • 1 篇 constraint progr...
  • 1 篇 scala
  • 1 篇 non-determinism
  • 1 篇 amortized analys...

机构

  • 3 篇 stanford univ st...
  • 2 篇 mit cambridge ma...
  • 2 篇 indiana univ blo...
  • 2 篇 carnegie-mellon ...
  • 1 篇 tokyo inst of te...
  • 1 篇 yale university ...
  • 1 篇 univ of edinburg...
  • 1 篇 xerox palo alto ...
  • 1 篇 indiana universi...
  • 1 篇 rwth aachen aach...
  • 1 篇 swiss fed inst t...
  • 1 篇 university of ch...
  • 1 篇 cornell univ ith...
  • 1 篇 at and t bell la...
  • 1 篇 technische univ ...
  • 1 篇 rice univ housto...
  • 1 篇 ntt musashino jp...
  • 1 篇 cent de recherch...
  • 1 篇 indiana state un...
  • 1 篇 symbolics inc ca...

作者

  • 2 篇 smith brian cant...
  • 2 篇 friedman daniel ...
  • 2 篇 hanus michael
  • 2 篇 hudak paul
  • 2 篇 gabriel richard ...
  • 1 篇 mishra prateek
  • 1 篇 bistriceanu v.
  • 1 篇 aehlig klaus
  • 1 篇 steele guy l.
  • 1 篇 takeuchi ikuo
  • 1 篇 haynes christoph...
  • 1 篇 hagelstein j.
  • 1 篇 wiedenbeck susan
  • 1 篇 xiao yingqi
  • 1 篇 kiselyov oleg
  • 1 篇 smolka gert
  • 1 篇 wand mitchell
  • 1 篇 watanabe kazufum...
  • 1 篇 katayama takuya
  • 1 篇 hullot jean-mari...

语言

  • 48 篇 英文
检索条件"任意字段=Conference Record of the 1984 ACM Symposium on LISP and Functional Programming."
48 条 记 录,以下是1-10 订阅
排序:
conference record of the 1984 acm symposium on lisp and functional programming.
CONFERENCE RECORD OF THE 1984 ACM SYMPOSIUM ON LISP AND FUNC...
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Anon
This conference proceedings contains 37 papers. These papers represent an up-to-date view of lisp and functional programming.languages. The main subjects discussed are logic programming. the lisp Machine architecture,... 详细信息
来源: 评论
EARLY lisp HISTORY (1956-1959).  84
EARLY LISP HISTORY (1956-1959).
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Stoyan, Herbert Univ of Erlangen-Nuernberg Erlangen West Ger Univ of Erlangen-Nuernberg Erlangen West Ger
This paper describes the development of lisp from McCarthy's first research in the topic of programming.languages for AI until the stage when the lisp1 implementation had developed into a serious program (May 1959... 详细信息
来源: 评论
TAO: A FAST INTERPRETER-CENTERED SYSTEM ON lisp MACHINE ELIS.  84
TAO: A FAST INTERPRETER-CENTERED SYSTEM ON LISP MACHINE ELIS...
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Okuno, Hiroshi G. Takeuchi, Ikuo Osato, Nobuyasu Hibino, Yasushi Watanabe, Kazufumi NTT Musashino Jpn NTT Musashino Jpn
This paper describes the design issue, implementation and performance of a lisp called TAO for the lisp machine ELIS. TAO is a dialect of lisp which unifies an object-oriented programming.paradigm and a logic programm... 详细信息
来源: 评论
DESIGN OF AN INSTRUCTION SET FOR COMMON lisp.
DESIGN OF AN INSTRUCTION SET FOR COMMON LISP.
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Wholey, Skef Fahlman, Scott E. Carnegie-Mellon Univ Pittsburgh PA USA Carnegie-Mellon Univ Pittsburgh PA USA
The design of a microcoded instruction set for executing Common lisp is presented. The influence that the language design, the machine, and the operating system had on this design is described. A statistical analysis ... 详细信息
来源: 评论
IMPLEMENTATION OF MULTIlisp: lisp ON A MULTIPROCESSOR.  84
IMPLEMENTATION OF MULTILISP: LISP ON A MULTIPROCESSOR.
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Halstead Jr., Robert H. MIT Cambridge MA USA MIT Cambridge MA USA
Multilisp is an extension of lisp (more specifically, of the lisp dialect Scheme with additional operators and additional semantics to deal with parallel execution. It is being implemented on the 32-processor Concert ... 详细信息
来源: 评论
LElisp, A PORTABLE AND EFFICIENT lisp SYSTEM.  84
LELISP, A PORTABLE AND EFFICIENT LISP SYSTEM.
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Chailloux, Jerome Devin, Matthieu Hullot, Jean-Marie INRIA Le Chesnay Fr INRIA Le Chesnay Fr
This paper describes the LElisp system, developed at the VLSI project at INRIA, which has been designed for efficiency, easy transport and barge systems construction. It also presents the programming.environment (incl... 详细信息
来源: 评论
PROPOSAL FOR STANDARD ML.
PROPOSAL FOR STANDARD ML.
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Milner, Robin Univ of Edinburgh Edinburgh Scotl Univ of Edinburgh Edinburgh Scotl
The proposed ML is not intended to be the functional language. There are too many degrees of freedom for such a thing to exist: lazy or eager evaluation, presence or absence of references and assignment, whether and h... 详细信息
来源: 评论
CONTINUATIONS AND COROUTINES.  84
CONTINUATIONS AND COROUTINES.
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Haynes, Christopher Friedman, Daniel P. Wand, Mitchell Indiana Univ Bloomington IN USA Indiana Univ Bloomington IN USA
The power of first class continuations is demonstrated by implementing a variety of coroutine mechanisms using only continuations and functional abstraction. The importance of general abstraction mechanisms such as co... 详细信息
来源: 评论
DIAlisp - A lisp MACHINE.  84
DIALISP - A LISP MACHINE.
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Stefan, G. Paun, A. Bistriceanu, V. Birnbaum, A. Polytechnical Inst of Bucharest Bucharest Rom Polytechnical Inst of Bucharest Bucharest Rom
High performance facilities to interpret lisp represent an ever increasing request even for minis. This paper presents a lisp hardware structure conceived to be implemented in a general purpose mini system called DIAG... 详细信息
来源: 评论
A POWERFUL STRATEGY FOR DERIVING EFFICIENT PROGRAMS BY TRANSFORMATION
A POWERFUL STRATEGY FOR DERIVING EFFICIENT PROGRAMS BY TRANS...
收藏 引用
conference record of the 1984 acm symposium on lisp and functional programming.
作者: Pettorossi, Alberto Edinburgh Univ Edinburgh Scotl Edinburgh Univ Edinburgh Scotl
来源: 评论