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

您好，读者！请登录

咨询与建议

检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"

共 917 条记录，以下是911-920 订阅

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

详细简洁

排序：

GYPSY: A language for specification and implementation of ve...

引用

acm conference on language design for Reliable Software 1977

作者： Ambler, Allen L. Good, Donald I. Browne, James C. Burger, Wilhelm F. Cohen, Richard M. Hoch, Charles G. Wells, Robert E. Amdahl Corporation United States University of Texas at Austin United States

An introduction to the Gypsy programming and specification language is given. Gypsy is a high-level programming language with facilities for general programming and also for systems programming that is oriented toward communications processing. This includes facilities for concurrent processes and process synchronization. Gypsy also contains facilities for detecting and processing errors that are due to the actual running of the program in an imperfect environment. The specification facilities give a precise way of expressing the desired properties of the Gypsy programs. All of the features of Gypsy are fully verifiable, either by formal proof or by validation at run time. An overview of the language design and a detailed example program are given. © 1977 Association for Computing Machinery. All rights reserved.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the Strathclyde ALGOL 68 conference 1977

Proceedings of the Strathclyde ALGOL 68 Conference 1977

引用

Strathclyde ALGOL 68 conference 1977

The proceedings contain 25 papers. The topics discussed include: derivatives without tears in Algol 68;'run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP';quantifying the test effectiveness of Algol 68 progra;some remarks on new instances and garbage collection;LL versus LR parsing with illustrations from ALGOL 68;Algol 68 as an implementation language for portable interpreters;description of dynamic manipulation of ALGOL68 values using a generative grammar;towards a machine-independent transput section;towards the design of a super-language of ALGOL 68 for the standard prelude (excerpt);and some problems concerning the automatic translation of Fortran to Algol 68.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integrated design

Integrated design

引用

1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems

作者： Habermann, A.N. University of Newcastle Upon Tyne United Kingdom

Matters of design, analysis and documentation of a programming System are frequently ordered sequentially in time and distributed over independent groups of people. It is argued that, instead, these three aspects should be integrated into one production effort in which documentation is the primary issue. The language that is used for implementation must not dominate the description of the system because a system should not be defined and understood in terms of its implementation. Using such a language throughout documentation and design is on the one hand too restrictive because the language is bound to lack expressive power, but on the other hand it is too demanding because it forces to go into details that may be irrelevant for a description at hand. © 1973 Association for Computing Machinery. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SPIL: A language for construction of reliable system software

SPIL: A Language for construction of reliable system softwar...

引用

1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems

作者： Liskov, Barbara H. Smith, Leroy A. Massachusetts Institute of Technology CambridgeMA United States MITRE Corporation BedfordMA United States

Structured programming is gaining wide acceptance as a technique for increasing the reliability and understandability of software. Nowhere is the need for better software felt more keenly than in the area of systems programming. In the near future it is likely that systems will be programmed in structured programming languages, just as systems have been programmed in higher level languages in the past. This paper describes SPIL: a structured programming language intended to be used for system design and implementation. The paper discusses how the objectives of structured programming and system programming may be realized in a programming language, and delineates the influence of the objectives on the design of SPIL. The most important features of the language are briefly described. The paper concludes by evaluating SPIL as a language for system design and implementation. © 1973 Association for Computing Machinery. All rights reserved.

关键词： Systems analysis

来源：评论

学校读者我要写书评

暂无评论

SPECL: A system programming dialect of ECL

SPECL: A system programming dialect of ECL

引用

1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems

作者： Udin, David Harvard University Center for Computing Technology CambridgeMA United States

The SPECL programming system is an attempt to combine the characteristics of an implementation language with those desirable for verifiability (human and mechanical) and transportability. The former requires efficient code generation and access to hardware;the latter requires a highly structured language and isolation of machine dependencies. SPECL will be embedded in the ECL programming system, which currently includes an interpreter and compatible compiler for the extensible language EL1, and a set of tools for debugging, metering, and verification. The SPECL compiler (under design) will restrict the semantics of EL1 to eliminate the need for run-time support and type checking, and couple specification of machine representation of modes and operators with the EL1 definitional mechanism to enable generation of efficient object code. © 1973 Association for Computing Machinery. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Hierarchical language definition

Hierarchical language definition

引用

1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems

作者： Bochmann, Gregor V. Dept Informatique U. De Montréal Canada

This paper describes a project for the hierarchical definition and implementation of languages. In the spirit of structured programming [ 1] and in analogy to the hierarchical construction of operating systems t 2, 3] we define high level languages, which are suitable for the design of operating and other software systems, in several levels of abstraction. In particular, we describe in this paper how an intermediate, machine independent basic language can be used to express the actions of a given high level language in terms of simple actions of the basic language. In conjunction with a translator writing system, this allows a compact and readable formal definition of the syntax and semantics [4, 5] of the high level language, which is in fact a description of the compiler which translates this language into the basic language. This definition is independent of a particular computer, however, an implementation of the basic language must be furnished. We intend to use the basic language to describe modules which are embedded in a general system for multiple processes. The language consists of a kind of macro instructions most of which can be implemented in a straight forward manner. Some more complicated instructions, such as primitives for interprocess communication, can be implemented through a hierarchical construction process [2, 3] as indicated in section III (see also figure 1). © 1973 Association for Computing Machinery. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A systems implementation language for small computers

A systems implementation language for small computers

引用

1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems

作者： Friedman, Frank L. Schneider, Victor B. Department of Computer Science Purdue University West LafayetteIN47907 United States

This paper concerns the development of a family of higher level languages which are to serve as the target languages in the decompiling of assembler coded modules of small computer operating systems. The main objective is the design of a machine independent language to serve as the nucleus of these higher level languages, each of which will ultimately have to possess characteristics unique to the operating system for which it was designed. The work involved in the development of the nucleus language is part of a research effort intended to show that debugged assembler coded systems programs for *** class of byte-oriented machines can be concisely represented in a higher level language and that this higher level representation can be easily moved from one machine in this class to another. It is our primary purpose here to describe the main features of the nucleus language, and, where space permits, to suggest some of the reasons why these features were included. © 1973 Association for Computing Machinery. All rights reserved.

关键词： Computer operating systems

来源：评论

学校读者我要写书评

暂无评论

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

共92页 << < 83 84 85 86 87 88 89 90 91 92 > >>

回到顶部

执行限定条件

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：