Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJuly 2012
The Art of Teaching Computer Science: Niklaus Wirth
With a goal of improving how computer science is taught, Niklaus Wirth created some of the field's most influential programming languages, including Pascal, Modula, and Oberon. An audio recording of author Charles Severance's Computing Conversations ...
- research-articleApril 2010
Unraveling Algol: US, Europe, and the Creation of a Programming Language
IEEE Annals of the History of Computing (ANHC), Volume 32, Issue 2April 2010, Pages 58–68https://doi.org/10.1109/MAHC.2010.4Current views on the programming language Algol assume its European origins. However, the inability to exchange information between computers affected both sides of the Atlantic. Whereas Algol promoters sought to create one universal programming ...
- chapterJanuary 2007
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
ACM Turing award lecturesJanuary 2007, Year Awarded: 1977, Page 1977https://doi.org/10.1145/1283920.1283933Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the most basic level cause them to be both fat and weak: their primitive word-at-a-time style of programming inherited from their common ancestor--...
- articleApril 2002
Information flow for Algol-like languages
Computer Languages, Systems and Structures (CLSS), Volume 28, Issue 1April, 2002, Pages 3–28https://doi.org/10.1016/S0096-0551(02)00006-1In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this ...
- articleJuly 1982
PS-algol: an algol with a persistent heap
ACM SIGPLAN Notices (SIGPLAN), Volume 17, Issue 7July 1982, Pages 24–31https://doi.org/10.1145/988376.988378PS-algol is a dialect of algol for the programming of problems that would normally require a database management system. It supports a persistent heap, and an associative store; it has embedded within the language features to support tasks normally ...
- research-articleDecember 1976
Programming Languages The First 25 Years
IEEE Transactions on Computers (ITCO), Volume 25, Issue 12December 1976, Pages 1207–1225https://doi.org/10.1109/TC.1976.1674589The programming language field is certainly one of the most important subfields of computer science. It is rich in concepts, theories, and practical developments. The present paper attempts to trace the 25 year development of programming languages by ...
- articleMay 1974
Reduction of compilation costs through language contraction
Communications of the ACM (CACM), Volume 17, Issue 5May 1974, Pages 245–250https://doi.org/10.1145/360980.360989Programming languages tailored to particular groups of users can often be constructed by removing unwanted features from a general purpose language. This paper describes the use of simulation techniques to predict the savings in compilation cost ...
- articleNovember 1971
The composition of semantics in Algol 68
Communications of the ACM (CACM), Volume 14, Issue 11Nov. 1971, Pages 697–708https://doi.org/10.1145/362854.362874The main features of Algol 68 are explained from a semantic point of view. It is shown how the language permits the composition of values and actions, i.e. ultimately programs, from a minimum set of primitives with a few fundamental recursive rules of ...
- ArticleMay 1971
Loop schemata
STOC '71: Proceedings of the third annual ACM symposium on Theory of computingMay 1971, Pages 24–39https://doi.org/10.1145/800157.805035We define a class of program schemata arising from the subrecursive programming language Loop. In this preliminary report on Loop schemata we show how to assign functional expressions to these schemata (as one aspect of the problem of assigning meaning ...
- research-articleSeptember 1968
Decision tables in Algol 60
AbstractThis paper defines an extension to Algol 60, which allows the programmer to write decision tables in his Algol program. A pre-processor converts the decision tables to Algol, and its output is used as input to the ordinary Algol compiler. The ...