The design of Edison

This paper describes the considerations behind the design of the programming language Edison including the reasons why a large number of well‐known language featuges were excluded. It also discusses the linguistic problems of writing a concise language report.

[1]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[2]  Per Brinch Hansen,et al.  Specification and Implementation of Mutual Exclusion , 1978, IEEE Transactions on Software Engineering.

[3]  John F. Wakerly,et al.  The programming language PASCAL , 1979, Microprocessors and microsystems.

[4]  Per Brinch Hansen,et al.  Operating System Principles , 1973 .

[5]  C. A. R. Hoare,et al.  Ambiguities and insecurities in pascal , 1977, Softw. Pract. Exp..

[6]  F. L. Bauer,et al.  Revised report on the algorithmic languageAlgol 60 , 1962 .

[7]  Niklaus Wirth,et al.  Modula: A language for modular multiprogramming , 1977, Softw. Pract. Exp..

[8]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[9]  Per Brinch Hansen,et al.  The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[10]  Alfred C. Hartmann.  A Concurrent Pascal Compiler for Minicomputers , 1977, Lecture Notes in Computer Science.

[11]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[12]  T. T. Soong,et al.  Book Reviews : System Dynamics: K. Ogata Prentice-Hall, Englewood Cliffs, New Jersey, 1978 , 1980 .

[13]  Per Brinch Hansen.  Edison—a multiprocessor language , 1981, Softw. Pract. Exp..

[14]  Per Brinch Hansen,et al.  The Architecture of Concurrent Programs , 1977 .

[15]  Donald E. Knuth,et al.  The remaining trouble spots in ALGOL 60 , 1967, Commun. ACM.

[16]  Per Brinch Hansen,et al.  The nucleus of a multiprogramming system , 1970, CACM.

[17]  Edsger W. Dijkstra,et al.  Structured programming , 1972, A.P.I.C. Studies in data processing.

[18]  Per Brinch Hansen,et al.  Structured multiprogramming , 1972, CACM.