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

Conference on Analysing Problem Classes and programming for Parallel Computing, 1981

作者： House, Steven R. Computing Laboratory University of Kent at Canterbury Canterbury KentCT2 7NF United Kingdom

ISBN: (纸本)9783540108276

This paper describes how a parallel environment has been used to perform the task of compiling. The environment is an International Computers Limited (ICL) Distributed Array Processor (DAP): a machine of SIMD classification. The compiler design is shown to be related to the structure of existing MIMD parallel compilers. Although in this case parallelism is implemented at a data structure rather than a functional level. © 1981, Springer-Verlag.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

SEVAL, a high-level validation language 3rd

引用

3rd Conference of the European Cooperation in Informatics on Trends in Information Processing Systems, 1981

作者： Zweerink, G.H. Department of computer science Twente University of Technologie P.O. Box 217 Enschede Netherlands

ISBN: (纸本)9783540108856

SEVAL is a high-level special purpose programming language for the validation of input data in an administrative system. This paper describes the essential features of SEVAL. It is claimed that the language considerably simplifies the writing of validation programs. Also an outline of the compiler, which transforms a SEVAL-program into a COBOL-program, is described briefly. © by Springer-Verlag Berlin Heidelberg 1981.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

Chaining Span-Dependent Jump Instructions

引用

ACM Transactions on programming Languages and Systems 1980年第3期2卷 274-289页

作者： Leverett, Bruce W. Szymanski, Thomas G. Carnegie-MellonUniversity PittsburghPA15213 United States Bell Laboratories Murray HillNJ07974 United States

The assembled length of a span-dependent jump instruction depends on the distance between the instruction and its target. Such instructions are found on many computers and typically have two forms, long and short. We consider the problem of minimizing object program length for such machines by chaining together jumps with the same target. Although the problem is NP-complete in its most general form, several mildly restricted forms of the problem exist that are of practical importance and have efficient solutions. © 1980 ACM.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

AN OVERVIEW OF THE PRODUCTION-QUALITY COMPILER-COMPILER PROJECT

引用

COMPUTER 1980年第8期13卷 38-49页

作者： LEVERETT, BW CATTELL, RGG HOBBS, SO NEWCOMER, JM REINER, AH SCHATZ, BR WULF, WA XEROX CORP PALO ALTO RES CTRCOMP SCI LABPALO ALTOCA 94304 DIGITAL EQUIPMENT CORP MAYNARDMA 01754 BELL TEL LABS INC CUSTOMER SYST LABMURRAY HILLNJ 07974

The PQCC experience reveals that?contrary to common practice and belief?retargetability and a high level of optimization are not incompatible.

关键词： Optimizing compilers Computer architecture Code standards Cost function programming profession Array signal processing program compilers

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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 charrette ADA compiler 80

The charrette ADA compiler

引用

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

作者： Rosenberg, Jonathan Lamb, David Alex Hisgen, Andy Sherman, Mark Department of Computer Science Carnegie-Mellon University PittsburghPA15213 United States

ISBN: (纸本)0897910303

The Charrette Ada compiler is a working compiler for a substantiable subset of the preliminary ADA language. The Ada source program is translated into an equivalent program in an intermediate implementation language. The result of the compilation process is machine language generated for this intermediate program. This paper provides a brief overview of the compiler with special attention given to the primary translation phase. Emphasis is placed on the transformation of Ada type and subtype information and the representation of objects. The translation of several interesting statement and expression forms is also outlined. © Proceedings of the 1980 ACM Conference on LISP and Functional programming, LFP 1980. All rights reserved.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

Experiences with the compiler writing system HLP

引用

International Workshop on Semantics-Directed Compiler Generetion, 1980

作者： Räihä, Kari-Jouko Department of Computer Science University of Helsinki Tukholmankatu 2 Helsinki 25SF-00250 Finland

ISBN: (纸本)9783540102502

compilers for languages of widely varying nature have been constructed using the compiler writing system HLP. Characteristics of the language descriptions and of the compilers produced are reported. Opinions of the users are discussed, and various ways to improve HLP are suggested. The experiences gained are relevant for similar projects aiming at the construction of compiler writing tools. © 1980, Springer-Verlag.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

Comparing load & go and link/load compiler organizations 80

Comparing load & go and link/load compiler organizations

引用

1980 National Computer Conference, AFIPS 1980

作者： Wilder, William L. Intermetrics Inc. WashingtonDC United States

ISBN: (纸本)9781450379236

compilers usually produce either absolute code that is executed immediately upon conclusion of the compilation or object code that is transformed by a linking loader into absolute code. These compiler organizations will be called Load & Go and Link/Load. Both Load & Go and Link/Load compilers use a number of passes to translate the source program into absolute code. A pass reads some form of the source program, transforms it into an another form, and normally outputs this form to an intermediate file which may be the input of a later pass. © 1980 by AFIPS Press.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：