SIGPLAN-SIGOPS Interface Meeting最新文献

{"title":"The need and techniques to obliterate control languages","authors":"G. Wiederhold","doi":"10.1145/800021.808304","DOIUrl":"https://doi.org/10.1145/800021.808304","url":null,"abstract":"Control language functions have greatly increased in recent times. Much of the increase is due to the fact that as new facilities were developed in operating systems no corresponding specifications were added to common programming languages. Programming languages did have statements that interfaced with input/output systems; these were also used to address problems of file and database management, as well as transfer of data between successive program segments.\u0000 Unfortunately the control languages that took on the control and data flow specifications developed in an ad hoc fashion with little concern for intersystem consistency. Their syntax is frequently infantile and many specifications are set by local default conditions. The result is that control languages present one of the major stumbling blocks in programming and severelyhinder transferability of programs.","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":"122876570","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":"Programming by semantic refinement","authors":"J. B. Morris","doi":"10.1145/800021.808298","DOIUrl":"https://doi.org/10.1145/800021.808298","url":null,"abstract":"It is becoming increasingly evident that human programmers are not capable of efficiently producing reliable programs if they must be concerned initially with every detail of the final program. The approach described here is one of “semantic levels of programming”, which involves a graduated approach to the production of programs.\u0000 A common but fallacious belief of some software implementors today is that the efficient execution of software systems should be a major concern in the initial system version. In fact, the primary concern in the initial version should be the reliable operation of the system, which is closely connected with the existence of a sound, overall system design. Assuming that we recognize that there is some reasonable time from the initiation of a software system implementation project to the availability of an initial version, the philosophy of semantic refinement is based on the belief that: “If a major concern in the implementation of the initial version of a software system is efficiency, then the initial version will be unreliable.” Many systems which are initially unreliable have a way of remaining unreliable for a discouragingly long period of time.","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":"129172422","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":"Report of session on transferability","authors":"M. F. Weller","doi":"10.1145/800021.808268","DOIUrl":"https://doi.org/10.1145/800021.808268","url":null,"abstract":"Machines The first discussion was stimulated by Bill Walte's view that for the purpose of transferability the operating system interface should be considered as the abstract machine on which one is running. Jim King","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"7 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":"116850915","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":"The grok project data structures and process communication","authors":"P. Jensen","doi":"10.1145/800021.808287","DOIUrl":"https://doi.org/10.1145/800021.808287","url":null,"abstract":"An overview of the structured data types proposed for the grok language is given. The proposal represents a uniform approach to arrays, records and procedures by regarding them as specialized occurences of the same underlying structure. Structures are partitioned into three classes according to the number of references pointing to the structure at the same time, and we show how this may be utilised in synchronization of parallel processes. The well known producer-consumer example illustrates this.","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":"131733677","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":"Extensible control structures","authors":"Charles J. Prenner","doi":"10.1145/800021.808301","DOIUrl":"https://doi.org/10.1145/800021.808301","url":null,"abstract":"A considerable amount of programming language research has been directed towards the development of extensible languages. Typically, these languages allow data type extensions, in which new data types are constructed in terms of built-in or previously defined ones, and syntax extensions, which allow the programmer to express himself in a more convenient notation than that of the base language. For the past few years the author has been experimenting with a third axis of extensibility, namely, control extensions - the introduction of non-standard control structures into programming languages.\u0000 By non-standard control structures we refer to any one of a set of facilities which have appeared as specialized extensions to existing languages. These include non-deterministic algorithms, backtracking, parallel processing, co-routines, simulation primitives, synchronization operations, and the like. Numerous papers describe how one or more of the above can he added to some language (usually ALGOL-60). However, there have been relatively few studies of either the effects of the extensions on the language as a whole or the possibility of obtaining all of these extensions in a unified way from a common base.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"430 2-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":"116571838","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":"Report of session on semantics","authors":"J. Dennis","doi":"10.1145/800021.808266","DOIUrl":"https://doi.org/10.1145/800021.808266","url":null,"abstract":"This session was devoted to consideration of the potential value of ideas in formal semantics for application to the specification and implementation of operating systems, and the benefits and issues that would arise from such use.\u0000 Jack Dennis introduced the session by noting that formal definitions of programming languages, such as the definition of PL/I in the Vienna Definition Language, are intended to serve two major practical objectives: 1) to ensure consistent interpretation of language constructs between computer systems so programs may be readily transferred; 2) to provide a standard with respect to which the correctness of implementations may be tested and verified. In contemporary systems user or application programs usually depend, for correct operation, on system facilities for file manipulation, communication, concurrent processing, and controlled access to data and procedures, as well as the linguistic constructs of conventional programming languages. Thus the same practical objectives for application of formal definition techniques hold for operating systems as for programming languages.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"19 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":"123367972","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":"SPECL: A system programming dialect of ECL","authors":"D. Udin","doi":"10.1145/800021.808303","DOIUrl":"https://doi.org/10.1145/800021.808303","url":null,"abstract":"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.","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"158 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":"130993377","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 model of a modular interactive system","authors":"S. Hautaniemi","doi":"10.1145/390014.808283","DOIUrl":"https://doi.org/10.1145/390014.808283","url":null,"abstract":"","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"48 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":"133485409","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":"Tasking in standard PL/I","authors":"M. D. MacLaren","doi":"10.1145/800021.808293","DOIUrl":"https://doi.org/10.1145/800021.808293","url":null,"abstract":"This paper describes the treatment of asynchronous processing in “Standard PL/I” and how it is related to the “old language”. By “Standard PL/I” we mean the language being developed by American National Standards Institute Committee X3J1 and European Computer Manufacturers Association Committee TC10. Currently this language is scheduled for publication as a proposed standard in December 1973. By the “old language” we mean that subset of IBM's PL/I which the standards committees took as the starting point for their work. In the area of asynchronous processing, the development from old language to Standard PL/I was carried out by X3J12, the language development subcommittee of X3J1.","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":"130131616","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":"Report of evening session on hierarchical methods","authors":"K. Levitt","doi":"10.1145/800021.808272","DOIUrl":"https://doi.org/10.1145/800021.808272","url":null,"abstract":"Bill Riddle opened the meeting by posing the following questions: • What is a hierarchy? • How is a hierarchy helpful in designing and understanding a system? Later on in the meeting other important questions arose, namely: • How should the hierarchy be designed?(Dennis) • How should the hierarchy be implemented?(King) • Can a system be visualized as composed of just a single hierarchy?(Neumann) • What is the relationship between hierarchical design and structured programming? (Linden, Liskov) • How many levels are appropriate? Jack Dennis presented a viewpoint on bottom-up design, the aim of which was to seek some formal insight into Dijkstra's level of abstraction method. For this viewpoint: • The ultimate system consists of a number of levels, L^, L.,... • At a given L~ linguisticUcon ~ structs are developed that will be the primitives for the implementation of L.+_. • An undetermine~ traction of the primitives of L. will also be primitives of L~+ 1 • The linguistic constructs of L i can be proven semantically correct by demonstrating that the desired effect of a construct is indeed carried out by the primitives of L~ i used to implement the construct. This is the procedure followed by McCarthy and Painter in proving a simple interpreter. As an example Dennis considered L n to consist of a memory and a set of processor registers, and a primitive operation which is a mapping from memory-processor state to a new state. Level L 1 might be an elaboration of L 0 to include stored programs in the memory. The transposition between L and L 1 would involve a compression o9 states. At a higher level disc states would be provided as a way of introducing virtual memory. At this point questions were raised concerning the optimal set of primitives for a level. McKeag reviewed the methodology of level definition that Dijkstra followed in the THE system, which supports 5 users in a multiprogramming mode. Dijkstra defined six levels, namely: L 0 hardware L 1 process sharer (implements P, V operations) L 2 storage scheduler L 3 operator console scheduler L 4 I/O device drivers L 5 user processes Horn ing noted that the time allocated to a primitive in level L i is approximately an order of magnitude more then than for a primitive in Li_ 1 Jim King then presented another viewpoint of layered system design, the intention of …","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"216 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":"114599642","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}