Filters








278 Hits in 7.7 sec

A formal definition of ALGOL 60 as described in the 1975 modified report [chapter]

Wolfgang Henhapl, Cliff B. Jones
1978 Lecture Notes in Computer Science  
Abs tract: This paper provides a formal definition of a version of the ALGOL 60 programming language.  ...  As well as ex = emplifying the meta-language, (yet) another definition of ALGOL 60 is justified by the recent revision of the language which resolved most of the open points in the earlier "Revised Report  ...  A number of formal definitions exist for the language of the revised report: this paper presents a denotational definition of the language as understood from the modified report (MAR).  ... 
doi:10.1007/3-540-08766-4_12 fatcat:pydgwtepxjhzbiymytxrscqs7m

Page 6 of Journal of Research and Practice in Information Technology Vol. 9, Issue 1 [page]

1977 Journal of Research and Practice in Information Technology  
The language has since been modified in the light of experience gained implementing and using the language, and this revised report contains “the final definition of the language Algol 68”.  ...  Since 1963, the IFIP Working Group 2.1 on Algol has been discussing the development of a successor to Algol 60; in 1969 a report on the resulting language, Algol 68, was published (van Wijngaarden, 1969  ... 

References & bibliography [chapter]

1978 Lecture Notes in Computer Science  
W.Henhapl & C.B.Jones: "A Formal Definition of ALGOL 60 as Described in the 1975 Modified Report", in: [Bj~rner 78a], pp.305-336, 1978.  ...  Consistency Proof of a Chapter of the Formal Definition of a PL/I Subset", IBM (Vienna) Techn.Rept.No.TR25.142, Feb.1975.  ... 
doi:10.1007/3-540-08766-4_14 fatcat:axryqtlzh5bmpdm4ljtivsc4a4

Page 27 of Journal of Research and Practice in Information Technology Vol. 12, Issue 1 [page]

1980 Journal of Research and Practice in Information Technology  
Jones A FORMAL DEFINITION OF ALGOL 60 AS DESCRIBED IN THE 1975 MODIFIED REPORT Wolfgang Henhap! & Cliff B.  ...  The work described in the book deals with a formal ap- proach to the development of large computer software systems.  ... 

Recollections about the development of Pascal

N. Wirth
1993 The second ACM SIGPLAN conference on History of programming languages - HOPL-II  
Pascal was defined in 1970 and, after a slow start, became one of the most widely used languages in introductory programming courses.  ...  This article first summarizes the events leading to Pascal's design and implementation, and then proceeds with a discussion of some of the language's merits and deficiencies.  ...  Another derivative of Pascal is the language Euclid [London 1978] . The definition of its semantics is based on a formalism, just as the syntax of ALGOL 60 had been defined by the formalism BNF.  ... 
doi:10.1145/154766.155378 dblp:conf/hopl/Wirth93 fatcat:lvt22vzxovggncmgjen4fqlh6a

Recollections about the development of Pascal

N. Wirth
1993 SIGPLAN notices  
Pascal was defined in 1970 and, after a slow start, became one of the most widely used languages in introductory programming courses.  ...  This article first summarizes the events leading to Pascal's design and implementation, and then proceeds with a discussion of some of the language's merits and deficiencies.  ...  Another derivative of Pascal is the language Euclid [London 1978] . The definition of its semantics is based on a formalism, just as the syntax of ALGOL 60 had been defined by the formalism BNF.  ... 
doi:10.1145/155360.155378 fatcat:tziznjldybhmvlifv4vplc7ndi

A Tutorial on Algol 68 [chapter]

A. S. Tanenbaum
1983 Programming Languages  
The approach is informal, relying heavily on many short examples. The paper applies to the Revised Report, published in 1975, rather than to the original report, published in 1969.  ...  This paper is an introduction to the main features of ALGOL 68, emphasizing the novel features not found in many other programming languages.  ...  A Revised Report [13] was published in 1975, describing a slightly modified language that does not have these problems.  ... 
doi:10.1007/978-3-662-09507-2_7 fatcat:khmvkmlbcvg73fgqkvh375auxe

A Tutorial on Algol 68

Andrew S. Tanenbaum
1976 ACM Computing Surveys  
The approach is informal, relying heavily on many short examples. The paper applies to the Revised Report, published in 1975, rather than to the original report, published in 1969.  ...  This paper is an introduction to the main features of ALGOL 68, emphasizing the novel features not found in many other programming languages.  ...  A Revised Report [13] was published in 1975, describing a slightly modified language that does not have these problems.  ... 
doi:10.1145/356669.356671 fatcat:47tr7resmbb6fe2crsja4w4of4

Simulation programming languages

Richard E. Nance
1995 Proceedings of the 27th conference on Winter simulation - WSC '95  
Questions concerning the causes for so many SPLS, the remarkably similar parallel developments, and the role of the SPLS versus programming languages in general might admit to historical answers.  ...  Considering one well regarded expert's estimate of 137 simulation programming languages (SPLS) created by 1981, many perhaps have already duplicated the numerous mistakes of their predecessors.  ...  The early language version proceeded through four stages: (1) a discrete event network concept, (2) basing of the language on Algol 60, (3) modifications and extensions of the Univac Algol 60 compiler  ... 
doi:10.1145/224401.224812 fatcat:27p3kdluobdu7gymdhuucvyt64

The translation of programming languages through the use of a graph transformation language

Peter van den Bosch
1982 SIGPLAN notices  
c) Peter Nico van den Bosch, 1981 by NICO VAN DEN BOSCH in In presenting this thesis in partial fulfilment of the requirements for an advanced degree at the University of British Columbia, I agree that  ...  Abstract It is shown that the automated translation of programming An evaluation of the completed research, and an assessment of its position within concurrent developments in the discipline of programming  ...  Algol 60 developed a form of syntactic specification based on Chomsky's work in order to give an unambiguous specification of the form of Algol 60 in their published report.  ... 
doi:10.1145/947912.947920 fatcat:mp7yt3rb2vh33pvdpfvprechq4

The birth of Prolog

Alain Colmerauer, Philippe Roussel
1993 The second ACM SIGPLAN conference on History of programming languages - HOPL-II  
The project gave rise to a preliminary version of Prolog at the end of 1971 and a more definitive version at the end of 1972.  ...  This article gives the history of this project and describes in detail the preliminary and then the final versions of Prolog.  ...  Acknowledgement We would like to thank all those who contributed to the English version of this paper: Andy Tom, Franz Günther, Mike Mahoney and Pamela Morton. Bibliography [Battani, 1973] Battani  ... 
doi:10.1145/154766.155362 dblp:conf/hopl/ColmerauerR93 fatcat:rd6rqqiuhfdytlnkzugv3v3ccm

The birth of Prolog

Alain Colmerauer, Philippe Roussel
1993 SIGPLAN notices  
The project gave rise to a preliminary version of Prolog at the end of 1971 and a more definitive version at the end of 1972.  ...  This article gives the history of this project and describes in detail the preliminary and then the final versions of Prolog.  ...  Acknowledgement We would like to thank all those who contributed to the English version of this paper: Andy Tom, Franz Günther, Mike Mahoney and Pamela Morton. Bibliography [Battani, 1973] Battani  ... 
doi:10.1145/155360.155362 fatcat:6zqwyve7pvd45fmdappydn7cfm

The denotational semantics of programming languages

R. D. Tennent
1976 Communications of the ACM  
Finally, the paper presents a formal definition of the language GEDANKEN.  ...  The application of the theory to formal language specification is demonstrated and other applications are surveyed.  ...  The author is extremely grateful to J.C. Reynolds, C. Wadsworth, and R. Milne for their very helpful comments on earlier drafts of this paper.  ... 
doi:10.1145/360303.360308 fatcat:dfbqywmmu5fmxcvf5r42bcf6mi

A survey of semantic description frameworks for programming languages

Yingzhou Zhang, Baowen Xu
2004 SIGPLAN notices  
., Formal definition of Algol 60, Technical [Mog1991] Moggi, E., Notions of computation and monads. Report TR. 25.088, IBM Lab. Vienna, 1968.  ...  In the definition of ALGOL 60, P.Naur various semantic frameworks over more than introduced the notation now known as Backus-Naur forty years, their actual  ... 
doi:10.1145/981009.981013 fatcat:aq23dovoqvdgzdo5xz7vclcnoe

Programming languages: A short history for economists

Marc Nerlove, Charles G. Renfro
2004 Journal of Economic and Social Measurement  
The definitive treatment of the history of programming languages is contained in the two volumes of conference proceedings: Wexelblat [46] and Bergin and Gibson [4] .  ...  Renfro has made numerous detailed comments based on first-hand knowledge of the last 50 years of programming and computation in econometrics. Browyn Hall set me straight on the origins of TSP.  ...  It started out in the late 1950's, first formalized in a report titled ALGOL 58, and then progressed through reports ALGOL 60, and ALGOL 68.  ... 
doi:10.3233/jem-2004-0229 fatcat:7vtihtzwmjctrnys4xac7znppi
« Previous Showing results 1 — 15 out of 278 results