This paper outlines some of the things that an operating system designer looks for in a programming language. This working paper was submitted to the ***. sigplan/sigopsinterfacemeeting held at Savannah, Georgia fro...
The session on structured programming was both interesting and lively, and many aspects of structured programming were discussed. Conspicuous by its absence was a debate on the use of goto's;chairman Bob Freiburgh...
详细信息
This paper is not concerned with a true operating system, but with a long and complex program, that is a translator writing system (TWS) which has many of the characteristics of operatingsystems. The experience repor...
详细信息
This paper describes a graphical programming language based on the concept of pure data flow sequencing of computations. Programs in this language are constructed through function definition and composition, and are b...
详细信息
The proceedings contain 40 papers. The topics discussed include: report of session on semantics;report of session on structured programming;report of session on transferability;report of session on systemsprogramming...
The proceedings contain 40 papers. The topics discussed include: report of session on semantics;report of session on structured programming;report of session on transferability;report of session on systemsprogramminglanguages;report of evening session protection;report of evening session on hierarchical methods;a compiler writer's wishbook for operatingsystems;system correctness;and semantic aspects of concurrent processes.
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 p...
详细信息
Discussion in this session centered around two major topics: experience using a particular language for systemsprogramming and features which are required or desirable in a systemsprogramming language. In general, a...
This study (1) describes an approach to the formal specification of control programs based on the generalized concept of binding. From this viewpoint, the individual operations of a control program may be described by...
详细信息
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 ...
详细信息
暂无评论