检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

17 篇 会议

馆藏范围

17 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

15 篇 工学
- 15 篇 计算机科学与技术...
- 15 篇 软件工程
- 1 篇 环境科学与工程（可...
2 篇 理学
- 2 篇 数学
2 篇 管理学
- 2 篇 图书情报与档案管...

主题

3 篇 program compiler...
2 篇 semantics
2 篇 multiprogramming
1 篇 iterative method...
1 篇 text processing
1 篇 digital storage
1 篇 abstracting
1 篇 functional progr...

机构

1 篇 massachusetts in...
1 篇 information scie...
1 篇 laboratory for c...
1 篇 university of ut...
1 篇 physics departme...
1 篇 radiologic imagi...
1 篇 software systems...
1 篇 mit laboratory f...
1 篇 department of co...
1 篇 yale university ...
1 篇 cambridge ma 021...
1 篇 department of el...
1 篇 radiologic imagi...
1 篇 department of co...
1 篇 computer science...
1 篇 computer science...
1 篇 school of mathem...
1 篇 xerox palo alto ...

作者

1 篇 model mitchell l...
1 篇 bernard s. green...
1 篇 rowan william
1 篇 marti jed b.
1 篇 muchnick steven ...
1 篇 pitman kent m.
1 篇 mccarthy john
1 篇 prini gianfranco
1 篇 mcdermott drew
1 篇 masinter larry m...
1 篇 shapiro stuart c...
1 篇 steele barbara k...
1 篇 haraldsson ander...
1 篇 pleban uwe f.
1 篇 fitch j.p.
1 篇 mckay donald p.
1 篇 campbell j.a.
1 篇 emanuelson par
1 篇 greenberg bernar...
1 篇 white jon l.

语言

17 篇 英文

检索条件"任意字段=1980 ACM Conference on LISP and Functional Programming, LFP 1980"

共 17 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980

Proceedings of the 1980 ACM Conference on LISP and Functiona...

引用

1980 acm conference on lisp and functional programming, lfp 1980

The proceedings contain 31 papers. The topics discussed include: symbolic computing with and without lisp;prose and CONS: (Multics Emacs: a commercial text-processing system in lisp);explicit parallelism in lisp-like languages;explicit parallelism in lisp-like languages;MULTI - a lisp based multiprocessing system;a semantic comparison of lisp and SCHEME;a system of communicating residential environments;address/memory management for a gigantic lisp environment or, GC considered harmful;HOPE: an experimental applicative language;and an efficient environment allocation scheme in an interpreter for a lexically-scoped lisp.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450373968

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 identified. © Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450373968

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 when two arguments of a function can be evaluated simultaneously and without violating the semantics of sequential lisp. The method works for Standard lisp and is not restricted to "pure" lisp. Conventional programs may usually be compiled without modification. © Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450373968

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 opportunities for improvement have been neglected. It would benefit from some co-operative maintenance especially in creating and maintaining program libraries. Computer checked proofs of program correctness are now possible for pure lisp and some extensions, but more theory and some smoothing of the language itself are required before we can take full advantage of lisp's mathematical basis. © Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450373968

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 establishing the necessary communications linkages are described. The features of lisp which support experimentation with interprocess communication are identified. Two key characteristics of the language are important in this regard: 1. lisp programs can construct and interpret new code as they run;2. Structures within lisp systems are accessible by name. The most flexible of the communication methods use only the ordinary lisp input and output functions, supplemented by a small amount of system-dependent code to create communication linkages that can be treated by lisp as file structures. © Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450373968

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 describe the set of optimization techniques found most useful, based on empirical results gathered by compiling a large set of programs. The compiler and optimization phase are machine independent, in that they generate a stream of instructions for an abstract stack machine, which an assembler subsequently turns into the actual machine instructions. The compiler has been in successful use for several years, producing code for two different instruction sets. © Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980. All rights reserved.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450373968

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 mechanism is a parallel version of call-by-need: an argument of a function is evaluated only the first time the value of the corresponding formal parameter is needed during the evaluation of the function body, but such an evaluation is only initiated by-need and is then performed in parallel with all the other computations. Some primitives allow the user to initiate new computations explicitly and to check/wait for the termination of already initiated computations. Several examples illustrate how classical problems in multiprogramming have natural and elegant solutions using parallel call-by-need and the above mentioned primitives. © Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980. All rights reserved.

关键词： Multiprogramming

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450373968

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 concentrate on the problem of extending the lisp language and discuss a method to compile such extensions. We propose the language to be implemented through an interpreter (written in lisp) and that compilation of statements in such an embedded language is done through partial evaluation. The interpreter is partially evaluated with respect to the actual statements, and an object program in lisp is obtained. This lisp code can further be compiled to machine code by the standard lisp compiler. We have implemented the iterative statement and a Clisp-like pattern matcher and used a program manipulation system to generate object programs in lisp. Comparisons will be made with the corresponding INTERlisp implementations, which use special purpose compilers in order to generate the lisp code. © Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980. All rights reserved.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Strategies for data abstraction in lisp 80

Strategies for data abstraction in LISP

引用

1980 acm conference on lisp and functional programming, lfp 1980

作者： Steele, Barbara K. Massachusetts Institute of Technology Artificial Intelligence Laboratory 545 Technology Square CambridgeMA02139 United States

ISBN: (纸本)9781450373968

The benefits of abstract data types are many and are generally agreed upon [Liskov and Zilles 1974, Linden 1976]. New languages are being constructed which provide for and enforce the use of data abstractions [Liskov et al 1977, Wulf et al 1976]. However, many of us are not in a position to use these new languages, but must stick to our installation's compiler. How then can we obtain the benefits of data abstraction? We discuss the implementation of data abstraction in a lisp program and the subtleties involved in doing so: specifically, how it is possible to enforce proper data abstraction in a language which does not provide for abstract data types. © Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980. All rights reserved.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450373968

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 control primitive. A process is an executable entity consisting of a process template and a set of register values. The process template defines the operations the process carries out. Process environments are saved in what can be viewed as function call instances, i.e. lisp forms which have the name of a process template in functional position and the register values following it. The flexibility of this simple conceptualization of processes is demonstrated by several examples which use MULTI to Implement recursion, backtracking, generators, agendas and AND/OR graph searching. The implementation of MULTI does not assume that the host lisp system provides any data or control environment saving mechanisms such as FUNARG or INTERlisp's spaghetti stack. Thus, MULTI is portable to other lisp systems. © Proceedings of the 1980 acm conference on lisp and functional programming, lfp 1980. All rights reserved.

关键词： Multiprogramming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共2页 << < 1 2 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：