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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

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 条记录，以下是141-150 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

Address/memory management for a gigantic lisp environment or, GC considered harmful 80

Address/memory management for a gigantic LISP environment or...

引用

1980 acm conference on lisp and functional programming, LFP 1980

作者： White, Jon L. Laboratory for Computer Science Massachusetts Institute of Technology CambridgeMA01239 United States

ISBN: (纸本)9781450373968

The possibility of incredibly cheap, fantastically large media for storage gives rise to a realistic lisp memory management scheme under which GC may be postponed for days, or even indefinitely;the idea is encapsulated in the acronym "DDI" - "GC? Don't Do It!". Tertiary memory is used to archive pages of the lisp environment which are perhaps reclaimabie, but which have not been proven so;whereas the standard technique of "paging" is used to swap active data from the main memory to a secondary store such as magnetic disk. Some scenarios are presented considering a variety of currently-available technologies, and of one speculative possibility - videodisc - by which a requisite compactifying GC would be done "overnight", or over the weekend. With enough tertiary available, one design could last for over 12 years without a GC. "Write-once" memories, probably unusable for most applications, would not be at a disadvantage here. © proceedings of the 1980 acm conference on lisp and functional programming, LFP 1980. All rights reserved.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

A lisp compiler producing compact code 80

A LISP compiler producing compact code

引用

1980 acm conference on lisp and functional programming, LFP 1980

作者： Rowan, William Radiologic Imaging Laboratory U.C. San Francisco United States Radiologic Imaging Laboratory U.C. Berkeley United States

ISBN: (纸本)9781450373968

A compiler has been written which compiles MAClisp into a compact intermediate language called 1-code, and an 1-code interpreter has been incorporated into an existing lisp system. The 1-code "machine" has a simple stack architecture and an instruction set specifically designed for lisp. Compiled programs consist of a string of eight-bit bytes of 1-code, and a local table of quantities used by the compiled code. The system has been used to compile most of the MACSYMA system, and algebraic expressions have been successfully evaluated. The system is about three times faster than interpreted lisp, and about 8 times more compact, if the 1-code and local table are compared in size to the dotted pairs needed for the uncompiled version. The possibility of enhancing the system to a true machine-independent lisp compiler is considered. In particular, the problem of varying instruction quantization size is examined, and a method is given for running 1-code programs on machines with different byte sizes. © proceedings of the 1980 acm conference on lisp and functional programming, LFP 1980. All rights reserved.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

Prose and CONS (Multics Emacs: A commercial text-processing system in lisp)

Prose and CONS (Multics Emacs: A commercial text-processing ...

引用

1980 acm conference on lisp and functional programming, LFP 1980

作者： Greenberg, Bernard S. CambridgeMA02139 United States

Multics Emacs is an video oriented text processing system released as part of Honeywell's Multics System. Multics Emacs is written in lisp. This program is now in use by several hundred people, who view it both as their standard editor, and a process and display management system. It is the first Honeywell software written in lisp ever to be released. This paper addresses the choice of lisp as the implementation language, and its consequences, including some of the implementation issues. The detailed history of Multics Emacs, its system-level design considerations, and its impact on Multics and its user community are discussed in [Greenberg]. One of the immediate and profound consequences of this choice has been to assert lisp's adequacy, indeed, superiority, as a full-fledged systems and applications programming language. Multics Emacs has established an awareness of lisp in quarters where the term had never been heard. Perhaps even more significantly, persons who have never encountered lisp, or who have encountered it/in college and subsequently neglected it, have learned lisp in order to write extensions (user-supplied code running in the Multics Emacs environment). In some cases, the persons involved were not even programmers and knew no programming language. The ability of lisp to be shaped into highly specialized languages, via the macro facility of Maclisp (the lisp dialect in use on Multics) [Moon], has given rise to a coding formalism of transparency and simplicity;an unprecedented (in the history of Multics) number of unsolicited contributions coded in this formalism have been offered. © proceedings of the 1980 acm conference on lisp and functional programming, LFP 1980. All rights reserved.

关键词： Text processing

来源：评论

学校读者我要写书评

暂无评论

A semantic comparison of lisp and scheme 80

A semantic comparison of LISP and scheme

引用

1980 acm conference on lisp and functional programming, LFP 1980

作者： Muchnick, Steven S. Pleban, Uwe F. Department of Electrical Engineering and Computer Sciences University of California BerkeleyCA94720 United States Computer Science Department University of Kansas LawrenceKS66045 United States

ISBN: (纸本)9781450373968

We review the features of some of the major dialects of lisp, show how they are reflected in denotational treatments of their semantics and draw a series of conclusions concerning semantic design of languages, program proving and optimization. We concentrate our attention on four dialects: (1) lisp 1.0 - approximating McCarthy's original design, (2) Modern lisp - approximating the major features of most current systems, (3) Funarg lisp - Modern lisp with upward and downward functional arguments, and (4) SCHEME - Steele and Sussman's lexically scoped dialect. lisp 1.0 and SCHEME are semantically tractable. In both cases it is possible to write a denotational semantics which exactly specifies the types of semantic objects being manipulated and the meaning of each valid syntactic construct. For modern lisp and Funarg lisp, on the other hand, we show that it is not possible to give a semantics which fully specifies the language and satisfies all the tenets of denotational semantics. However, we give a definition which rests on the foundational underpinnings of denotational semantics, thus guarantee-ing that our semantic objects exist, and violates only the structural definition principle: that the meaning of a construct be defined in terms of the meanings of its parts. This has far-reaching significance for program proving, optimization and comprehensibility of programs. © proceedings of the 1980 acm conference on lisp and functional programming, LFP 1980. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Extending object oriented programming in Smalltalk 80

Extending object oriented programming in Smalltalk

引用

1980 acm conference on lisp and functional programming, LFP 1980

作者： Goldstein, Ira P. Bobrow, Daniel G. Xerox Palo Alto Research Center United States

ISBN: (纸本)9781450373968

Smalltalk is an object oriented programming language with behavior invoked by passing messages between objects. Objects with similar behavior are grouped into classes. These classes form a hierarchy. When an object receives a message, the class or one of its superclasses provides the corresponding method to be executed. We have built an experimental Personal Information Environment (PIE) in Smalltalk that extends this paradigm in several ways. A PIE object, called a node, can have multiple perspectives, each of which provides independent specialized behaviors for the object as a whole, thus providing multiple inheritance lor nodes. Nodes have metadescription to guide viewing of the objects during browsing, provide default values, constrain the values of attributes, and define procedures to be run when values are sought or set. All nodes have unique names which allow objects to migrate between users and machines. Finally attribute lookup for nodes is context sensitive, thereby allowing alternative descriptions to be created and manipulated. © proceedings of the 1980 acm conference on lisp and functional programming, LFP 1980. All rights reserved.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Special forms in lisp 80

Special forms in LISP

引用

1980 acm conference on lisp and functional programming, LFP 1980

作者： Pitman, Kent M. MIT Laboratory for Computer Science 545 Technology Square CambridgeMA02139 United States

ISBN: (纸本)9781450373968

Special forms are those expressions in the *** language which do not follow normal rules for evaluation. Some such forms arc necessary as primitives of the language, while others may be desirable in order to improve readability, control the evaluation environment, implement abstraction and modularity, affect the flow of control, allow extended scoping mechanisms, define functions which accept a variable number of arguments, or achieve greater efficiency. There exist several long-standing mechanisms for specifying the definition of special forms: FEXPR's, NLAMBDA's and MACRO'S. In this paper, the motivations for using special forms are discussed, followed by a summary of the advantages and disadvantages of employing MACRO's, FEXPR's, and NLAMBDA's as tools for their implementation. It is asserted that MACRO's offer an adequate mechanism for specifying special form definitions and that FEXPR's do not. Evidence is given which supports the author's contention that FEXPR's interfere with the correct operation of code-analyzing programs such as the compiler. Finally, it is suggested that, in the design of future *** dialects, serious consideration be given to the proposition that FEXPR's should be omitted from the language altogether. © proceedings of the 1980 acm conference on lisp and functional programming, LFP 1980. All rights reserved.

关键词： Program compilers

来源：评论

学校读者我要写书评

暂无评论

THE ADA compiler validation capability 80

THE ADA compiler validation capability

引用

1980 acm-SIGPLAN Symposium on Ada programming Language, SIGPLAN 1980

作者： Goodenough, John B. SofTech Inc. 160 Totten Pond Road WalthamMA02154 United States

ISBN: (纸本)0897910303

The Ada Compiler Validation Capability consists of tests, tools, procedures, and documentation designed to enforce (and encourage) development of Compilers that conform to the Ada language Standard. In this paper, we discuss our approach to solving the principal problems faced in developing and using such a capability. © proceedings of the 1980 acm conference on lisp and functional programming, LFP 1980. All rights reserved.

关键词： Ada (programming language)

来源：评论

学校读者我要写书评

暂无评论

An experience with parallelism in ADA 80

An experience with parallelism in ADA

引用

1980 acm-SIGPLAN Symposium on Ada programming Language, SIGPLAN 1980

作者： Notkin, David S. Carnegie-Mellon University Department of Computer Science PittsburghPA15213 United States

ISBN: (纸本)0897910303

One of the more interesting and controversial features of Ada is the tasking structure. The Ada tasking facility provides high level mechanisms for communication and synchronization among tasks executing in parallel. The open question about these mechanisms is whether they provide programmers with both the appropriate level of abstraction and also the necessary level of control. This paper describes in detail the implementation of a system using parallelism that was written during the Ada test and evaluation process. © proceedings of the 1980 acm conference on lisp and functional programming, LFP 1980. All rights reserved.

关键词： Ada (programming language)

来源：评论

学校读者我要写书评

暂无评论

ADA as a software transition tool 80

ADA as a software transition tool

引用

1980 acm-SIGPLAN Symposium on Ada programming Language, SIGPLAN 1980

作者： Filipski, Gary L. Moore, Donald R. Newton, John E. Dirct. of Personnel Data Systems Air Force Manpower Personnel Center Randolph AFBTX78148 United States

ISBN: (纸本)0897910303

Our agency plans to use the Ada programming language as a vehicle to transport a locally written inquiry system from Burroughs' equipment to another vendor's hardware. This is being done in the following manner. A bootstrap Ada translater has been written in Pascal to generate Burroughs' ALGOL. The Ada translater will be recoded into Ada. The inquiry system will be rewritten into Ada from ALGOL and executed on the current Burroughs' machine. When the new hardware is selected, the Ada translater will be retargeted to generate an efficient language on that machine, thereby trans-porting the inquiry system. The Ada translater will be discarded for an Ada compiler on the new system. © proceedings of the 1980 acm conference on lisp and functional programming, LFP 1980. All rights reserved.

关键词： Ada (programming language)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共16页 << < 7 8 9 10 11 12 13 14 15 16 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：