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 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...
详细信息
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.
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 ...
详细信息
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 operatingsystems no corresponding specifications were added to commo...
详细信息
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...
详细信息
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 ...
详细信息
暂无评论