{"title":"Reflections on a language designed to write an operating system","authors":"B. Clark, J. Horning","doi":"10.1145/800021.808279","DOIUrl":"https://doi.org/10.1145/800021.808279","url":null,"abstract":"Project SUE is writing an extensible time-sharing operating system for the IBM System/360 using a high-level System Language designed especially for the purpose. This paper expresses opinions on the crucial issues in the design of such a language, based on the Project SUE experience.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"68 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":"128682926","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}
{"title":"A method for the description and analysis of complex software systems","authors":"W. Riddle","doi":"10.1145/800021.808302","DOIUrl":"https://doi.org/10.1145/800021.808302","url":null,"abstract":"This paper outlines a modeling scheme and associated method of analysis which are particularly useful during the design of complex software systems since they facilitate an iterative design methodology and provide feedback to help guide the creation of the final design. The process oriented modeling scheme is outlined first and a brief indication is given of how it may be easily and naturally used in a top-down elaboration of a system's design. Then the method of analysis is outlined and shown to provide a procedure for deriving algebraic descriptions of a system's internal behavior which may be used to check whether or not the system is correct in the sense that it exhibits desirable behavior and does not exhibit undesirable behavior. This paper necessarily gives only a brief overview of the description shceme and method of analysis and full details may be found in [1] and [2].","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"211 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":"114206513","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}
{"title":"A compiler writer's wishbook for operating systems","authors":"P. Abrahams","doi":"10.1145/800021.808273","DOIUrl":"https://doi.org/10.1145/800021.808273","url":null,"abstract":"I have recently completed the initial version of a PL/I compiler for the Control Data 6600. The compiler is itself written in PL/I, and has been bootstrapped via the IBM 560. The present version is a compiler-writing subset, and work is now underway in extending this subset towards the full PL/I language. The nature of this project has forced me to deal with two different operating systems, OS/360 and 6600 SCOPE. As a consequence I have become acutely aware of the strengths and shortcomings of these systems, and of the kinds of facilities that would have made my job much easier. Most of my observations are applicable to any large, complex program; a few of them are concerned with compilerwriting specifically.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"1 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":"131345671","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}
{"title":"A programming language family for the navy AADC","authors":"James S. Miller","doi":"10.1145/800021.808296","DOIUrl":"https://doi.org/10.1145/800021.808296","url":null,"abstract":"The U.S. Navy is sponsoring the development of a modern-technology computer system known as the All-Applications Digital Computer (AADC). Originally intended for avionics purposes alone, the promising success of the program so far has led to a broadening of its objectives. The impact of the operational system will occur over the 1975-1985 time period. If the costs of the hardware prove to be as low as predicted, not only will new applications be likely users of AADCs, but some degree of retrofitting may be expected as well.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"1 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":"130893017","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}
R. E. Noonan, V. Basili, R. Hamlet, M. Lay, H. Mills, A. J. Turner, M. Zelkowitz
{"title":"A SIMPL distributed operating system and its formal definition","authors":"R. E. Noonan, V. Basili, R. Hamlet, M. Lay, H. Mills, A. J. Turner, M. Zelkowitz","doi":"10.1145/800021.808300","DOIUrl":"https://doi.org/10.1145/800021.808300","url":null,"abstract":"In recent years there has been a phenomenal growth of interest in networks of computers sharing both data and programs. For example, Cmdr. Grace Hopper has advocated a hierarchical network of minicomputers to perform the data processing function in which the tasks to be done would be distributed over the network, with only summary or extract information being passed from one level to another. While the hardware exists to build such a network, the software mechanisms to effectively (from both a time and cost viewpoint) control such a network have not yet been developed.\u0000 At the Computer Science Center of the University of Maryland a distributed operating system, which is independent of the specific number and hardware of the particular computers it is running on, is being developed and implemented. Supporting this project is the development of two linguistic tools: the design and implementation of a systems programming language called SIMPL and the use of formal semantics in the specification of both SIMPL and the distributed operating system. So far, each of these three elements has had a considerable effect on the others.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"34 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":"133324446","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}
{"title":"GLOSS: A semantic model of programming languages","authors":"R. Herriot","doi":"10.1145/800021.808284","DOIUrl":"https://doi.org/10.1145/800021.808284","url":null,"abstract":"GLOSS is a machine and language for modeling the semantics of programming languages. GLOSS is not intended to be a tool for mathematical proofs. Instead it is intended to provide an easily read graphical notation in which programming language structures and transformations (operators) can be specified. Johnston's Contour Model [Jl] has a similar intention, but GLOSS has a more flexible structure. Because the human eye can perceive a graphical notation more readily than a mathematical or programmatical notation, GLOSS and Johnston's Contour Model are more elucidating than the Vienna Definition Language [L1].\u0000 GLOSS has seven <underline>primitive objects</underline>: <underline>integer</underline> objects, <underline>bit string</underline> objects, <underline>character string</underline> objects, <underline>reference</underline> objects, <underline>vector</underline> objects, <underline>record</underline> objects, and <underline>constructor</underline> objects. Integers, bit strings, character strings, and references have their usual meanings. A vector is an ordered set of objects indexed from zero. A record is an unordered set of two tuples, each of whose first component is an identifier (character string) and whose second component is an object. The identifier is used to select its associated object. All of the above objects have a type such as integer, bit string, etc. and a value which is the object itself. A constructor object permits the formation of a new type of object.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"437 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":"123423257","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}
{"title":"Semantic aspects of concurrent processes","authors":"Gérald Belpaire, J. Wilmotte","doi":"10.1145/800021.808276","DOIUrl":"https://doi.org/10.1145/800021.808276","url":null,"abstract":"In the literature on parallel processes, most of the specific 'parallel' features of programming languages are designed to fit and to solve only one specific class of problems of concurrent processes. For that reason, they usually provide a, fairly good and comprehensive definition of the problem but the real solution is left to the final implementation","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"35 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":"127746227","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}
{"title":"Proving the adequacy of protection in an operating system","authors":"T. Linden","doi":"10.1145/800021.808291","DOIUrl":"https://doi.org/10.1145/800021.808291","url":null,"abstract":"The best that can be expected from traditional debugging and testing techniques is that the number of bugs will be reduced to a tolerable level. However, programs that either implement or relate to protection in an operating system are examples of programs for which: 1) the number of residual bugs that can be tolerated is zero; 2) it is necessary to know, or at least have convincing objective evidence, that the number of bugs is indeed zero; and 3) the concern extends to bugs which would not arise under normal circumstances and which may be very difficult to find either by testing or by normal use.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"111 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":"124253461","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}
{"title":"A Kernel System for information system development, evolution, and operation","authors":"H. Mills, Max L. Wilson","doi":"10.1145/800021.808297","DOIUrl":"https://doi.org/10.1145/800021.808297","url":null,"abstract":"We believe that the current boundaries and distinctions between operating systems, data base management systems (both “host language” and “self-contained”), programming language processors (both interpretive and compiled), programming support systems (library management, testing, and integration services), instructional systems, and certain other generalized data processing services, can and should be eliminated. That is, we believe that all these seemingly separate functions, which are currently separate for historical reasons as much as any other, can and should be addressed by a single integrated (but subsettable) “Kernel System”.\u0000 We also believe that with the proper system architecture and implementation techniques (e.g., top-down and structured programming) and with the wholesale elimination of duplicated functions, a Kernel System can be built that would address the sum total of these functions and, at the same time, remain comparable in size and complexity to a typical self-contained data base management system alone. Further, such a structured Kernel System would be much better able to support the development, continued evolution, and operation of both itself and its applications.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"3 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":"134516700","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}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：