SIGPLAN-SIGOPS Interface Meeting最新文献_第4页

SPIL: A language for construction of reliable system software 用于构建可靠的系统软件的语言

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808292

B. Liskov, Leroy A. Smith

引用次数: 1

Specification languages for control programs 控制程序的规范语言

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808274

J. H. Austin

引用次数: 0

Hierarchical language definition 分层语言定义

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808278

G. Bochmann

{"title":"Hierarchical language definition","authors":"G. Bochmann","doi":"10.1145/800021.808278","DOIUrl":"https://doi.org/10.1145/800021.808278","url":null,"abstract":"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 [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 inter-process communication, can be implemented through a hierarchical construction process [2,3] as indicated in section III (see also figure 1).","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126347733","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Report of session on structured programming 结构化程序设计会议报告

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808267

R. Freiburghouse, B. Liskov

引用次数: 10

The two-level approach to data definition and space management in the LIS system implementation language LIS系统实现语言中数据定义和空间管理的两层方法

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808286

J. Ichbiah, J. Rissen, J. Heliard

{"title":"The two-level approach to data definition and space management in the LIS system implementation language","authors":"J. Ichbiah, J. Rissen, J. Heliard","doi":"10.1145/800021.808286","DOIUrl":"https://doi.org/10.1145/800021.808286","url":null,"abstract":"It has often been remarked that surprisingly few parts of the algorithms which define an operating system require the use of unsafe, low-level language features {1}. Nevertheless, the lack of safety inherent in these parts will propagate to the whole system if an appropriate methodology is not used. It seems desirable to structure programs in such a way that parts with different safety levels are clearly separated and identifiable. The LIS solution to this problem involves the use of two language levels which are used in separate contexts. The general language is a Pascal-like language with the safety that this implies {2, 3}. On the other hand, the use of unsafe features is restricted to so-called implementation parts associated with each declaration level of the program.\u0000 Several authors {4, 5, 6} have pointed out the advantages of having a two-step data definition, namely, a first step concerned with the semantic properties and a second dealing with the effective realization. In what follows we present the LIS approach to this question and show that the safety levels inherent to these two steps are different. The second step requires implementation specifications which appear in implementation parts.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"32 11","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132496442","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

System correctness 系统的正确性

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808275

A. Ballard, D. Tsichritzis

引用次数: 1

A data flow language for operating systems programming 一种用于操作系统编程的数据流语言

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808289

P. Kosinski

引用次数: 38

Software design with invocation diagram 使用调用图进行软件设计

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808280

N. J. Denil

引用次数: 0

A short discussion of interprocess communication in the sue/360/370 operating system 浅谈sue/360/370操作系统的进程间通信

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808285

R. Holt, M. Grushcow

引用次数: 4

Towards the formal description of operating systems 对操作系统的正式描述

SIGPLAN-SIGOPS Interface Meeting Pub Date : 1900-01-01 DOI: 10.1145/800021.808299

E. Neuhold

引用次数: 0