Search results for "ALGOL-60"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Donald E. Knuth, Jack N. Merner	ALGOL 60 confidential.	Commun. ACM	1961	DBLP DOI BibTeX RDF	ALGOL
66	Donald E. Knuth	A proposal for input-output conventions in ALGOL 60.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
65	Ingemar Dahlstrand	The Early Nordic Software Effort.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Algol 60, Nordic historical efforts, compilers, Software
54	John G. Herriot	An ambiguity in the description of ALGOL 60.	Commun. ACM	1969	DBLP DOI BibTeX RDF	ising problem, zero-one sequences, ACLAN
48	Bengt Asker	Algol-Genius.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Datasaab computers, programming languages, Algol
48	Alan J. Demers, James E. Donahue	"Type-Completeness" as a Language Design Principle.	POPL	1980	DBLP DOI BibTeX RDF
48	K. M. Bosworth	Certifications of algorithms 117 and 118 magic square (odd and even orders)2.	Commun. ACM	1963	DBLP DOI BibTeX RDF
42	Wolfgang Henhapl, Cliff B. Jones	A Formal Definition of Algol 60 as Described in the 1975 Modified Report.	The Vienna Development Method: The Meta-Language	1978	DBLP DOI BibTeX RDF
42	Marjorie P. Lietzke	A method of syntax-checking ALGOL 60.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
42	Robert W. Floyd	On the nonexistence of a phrase structure grammar for ALGOL 60.	Commun. ACM	1962	DBLP DOI BibTeX RDF
36	Peter W. O'Hearn, John C. Reynolds	From Algol to polymorphic linear lambda-calculus.	J. ACM	2000	DBLP DOI BibTeX RDF	local state, linear logic, parametric polymorphism, logical relations
36	David G. Cantor	On The Ambiguity Problem of Backus Systems.	J. ACM	1962	DBLP DOI BibTeX RDF
35	Walter Issel	Über einige Probleme der Umformung der Syntax von ALGOL 60 in eine Operator-Präferenz-Grammatik und der syntaktischen Analyse von ALGOL 60 mit dieser Grammatik.	J. Inf. Process. Cybern.	1972	DBLP BibTeX RDF
35	Alain Landelle	Etude et réalisation d'une traduction automatique d'Algol 60 en Algol 68.		1971	RDF
35	Jean Le Palmec	Etude d'un langage intermédiaire pour la compilation d'Algol 60 -Application à un calculateur de type microprogrammé : CAE 510. (Study of an intermediate language for compilation of Algol 60 -Application to a calculator type CAE 510).		1966	RDF
35	Roger W. Hockney	ABS12 ALGOL: An Extension to Algol 60 for Industrial Use.	Comput. J.	1962	DBLP DOI BibTeX RDF
34	H. Bottenbruch	Structure and Use of ALGOL 60.	J. ACM	1962	DBLP DOI BibTeX RDF	ALGOL-60
30	Brian Randell, L. J. Russell	Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60.	J. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
30	Arthur F. Kaupe Jr.	A note on the dangling else ALGOL 60.	Commun. ACM	1963	DBLP DOI BibTeX RDF
24	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
24	Niklaus Wirth	Modula-2 and Oberon.	HOPL	2007	DBLP DOI BibTeX RDF
24	Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard	Abstraction Mechanisms in the Beta Programming Language.	POPL	1983	DBLP DOI BibTeX RDF
24	Susan L. Graham, William N. Joy, Olivier Roubine	Hashed symbol tables for languages with explicit scope control.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
24	Jan V. Garwick	Programming Languages: GPL, a truly general purpose language.	Commun. ACM	1968	DBLP DOI BibTeX RDF	general purpose, self-extending, programming language, AlGOL, macro
24	Hans-Wilm Wippermann	Definition von Schrankenzahlen in Triplex-ALGOL.	Computing	1968	DBLP DOI BibTeX RDF
24	Niklaus Wirth, Helmut Weber 0002	EULER: a generalization of ALGOL, and its formal definition: Part II.	Commun. ACM	1966	DBLP DOI BibTeX RDF
24	Henry C. Thacher Jr.	A redundancy check for ALGOL programs.	Commun. ACM	1962	DBLP DOI BibTeX RDF
17	Helena Durnova, Gerard Alberts	Was Algol 60 the First Algorithmic Language?	IEEE Ann. Hist. Comput.	2014	DBLP DOI BibTeX RDF
17	Günter Riedewald	Von ALGOL 60 zur symbolischen Simulation.	Informatik in der DDR	2008	DBLP BibTeX RDF
17	Hans Bekic	The Assignment to a Type Procedure Identifier in ALGOL 60.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
17	Hans Bekic	Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
17	Edgar T. Irons	A Syntax Directed Compiler for ALGOL 60 (Reprint).	Commun. ACM	1983	DBLP DOI BibTeX RDF
17	H. Nießner	FORTRAN Programmers Can still Profit from ALGOL 60 (a Retrospective).	Angew. Inform.	1982	DBLP BibTeX RDF
17	Peter Naur	The European side of the last phase of the development of ALGOL 60.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
17	David Gries	ACM SIGPLAN history of programming languages conference ALGOL 60 language summary.	ACM SIGPLAN Notices	1978	DBLP DOI BibTeX RDF
17	R. M. De Morgan, I. D. Hill, Brian A. Wichmann	Modified ALGOL 60 and the Step-Until Element.	Comput. J.	1978	DBLP DOI BibTeX RDF
17	Peter Naur	The European side of the last phase of the development of ALGOL 60.	HOPL	1978	DBLP DOI BibTeX RDF
17	Wilfried Bergmann	Modulare Programmier- und Programmlauftechnik. Dargestellt an der Programmiersprache ALGOL 60.	J. Inf. Process. Cybern.	1977	DBLP BibTeX RDF
17	Alan P. Batson, Robert E. Brundage	Segment Sizes and Lifetimes in Algol 60 Programs.	Commun. ACM	1977	DBLP DOI BibTeX RDF
17	Leonard S. Haynes	The Architecture of an ALGOL 60 Computer Implemented with Distributed Processors.	ISCA	1977	DBLP DOI BibTeX RDF
17	Brian A. Wichmann, B. Jones	Testing ALGOL 60 Compilers.	Softw. Pract. Exp.	1976	DBLP DOI BibTeX RDF
17	Ben Jones	An extended Algol-60 for Shaded Computer Graphics.	ACM Symposium on Graphic Languages	1976	DBLP DOI BibTeX RDF
17	Alan P. Batson, Robert E. Brundage, John P. Kearns	Design Data for Algol-60 Machines.	ISCA	1976	DBLP DOI BibTeX RDF
17	I. D. Hill, Roger S. Scowen, Brian A. Wichmann	Writing algorithms in ALGOL 60.	ACM SIGPLAN Notices	1975	DBLP DOI BibTeX RDF
17	I. D. Hill, Roger S. Scowen, Brian A. Wichmann	Writing Algorithms in ALGOL 60.	Softw. Pract. Exp.	1975	DBLP DOI BibTeX RDF
17	Robert E. Brundage, Alan P. Batson	Computational Processor Demands of Algol-60 Programs.	SOSP	1975	DBLP DOI BibTeX RDF
17	Immo O. Kerner, Hassan Al-Sheikh-Khalil	Algorithmische Sprache ALGOL 60+8.	J. Inf. Process. Cybern.	1974	DBLP BibTeX RDF
17	A. Balfour	An Alternative Approach to Mutual Recursion in Algol 60 Using Restricted Compilers.	Commun. ACM	1974	DBLP DOI BibTeX RDF
17	Giorgio Germano, Andrea Maggiolo-Schettini	Loops in Algol 60 and in category theory.	SIGACT News	1974	DBLP DOI BibTeX RDF
17	Alan P. Batson, Robert E. Brundage	Measurements of the virtual memory demands of Algol-60 programs (Extended Abstract).	SIGMETRICS	1974	DBLP DOI BibTeX RDF
17	Rudolph A. Krutar	Restricted global variables in Algol 60.	ACM SIGPLAN Notices	1973	DBLP DOI BibTeX RDF
17	M. Stella Atkins	Mutual Recursion in Algol 60 Using Restricted Compilers.	Commun. ACM	1973	DBLP DOI BibTeX RDF
17	Leonard S. Haynes	Structure of a Polish String language for an Algol 60 language processor.	HLLCA	1973	DBLP DOI BibTeX RDF
17	Hans-Georg Porep, Edgar Ziener	Ein Beitrag zur gerätetechnischen Unterstützung der Implementierung höherer Programmiersprachen auf der Grundlage statistischer Untersuchungen zur Translation und Interpretation von ALGOL 60 Anwenderprogrammen.		1973	RDF
17	Rózsa Péter	Die prinzipielle Ausschaltbarkeit der rekursiven Prozeduren aus der Programmierungsprache Algol 60.	Acta Cybern.	1972	DBLP BibTeX RDF
17	Henry F. Ledgard	A Model for Type Checking - with an Application to ALGOL 60.	Commun. ACM	1972	DBLP DOI BibTeX RDF
17	Roger S. Scowen, D. Allin, A. L. Hillman, M. Shimell	SOAP - A Program which Documents and Edits ALGOL 60 Programs.	Comput. J.	1971	DBLP DOI BibTeX RDF
17	Harry Feldmann, Horst Oberquelle, C.-P. Ortlieb	Eine einfache universelle Turingmaschine in ALGOL 60 Simulation.	Computing	1971	DBLP DOI BibTeX RDF
17	James M. Boyle, Albert A. Grau	An Algorithmic Semantics for ALGOL 60 Identifier Denotation.	J. ACM	1970	DBLP DOI BibTeX RDF	ALGOL
17	Götz Alefeld, Jürgen Herzberger	ALGOL-60 Algorithmen zur Auflösung linearer Gleichungssysteme mit Fehlererfassung.	Computing	1970	DBLP DOI BibTeX RDF
17	Jürgen Herzberger	Intervallmäßige Auswertung von Standardfunktionen in ALGOL-60.	Computing	1970	DBLP DOI BibTeX RDF
17	G. Sauer	Remark on algorithm 268 [R2]: ALGOL 60 reference language editor.	Commun. ACM	1969	DBLP DOI BibTeX RDF	ALGOL, symbol manipulation
17	Derick Wood	A few more trouble spots in ALGOL 60.	Commun. ACM	1969	DBLP DOI BibTeX RDF	semantics, programming language, ALGOL, syntax
17	Harmut Christ	Realisierung einer Maschinen-Intervallarithmetik mit beliebigen Algol-60-Compilern.	Elektron. Rechenanlagen	1968	DBLP DOI BibTeX RDF
17	Donald E. Knuth	The remaining trouble spots in ALGOL 60.	Commun. ACM	1967	DBLP DOI BibTeX RDF
17	Alan T. McEwan	An Atlas Autocode to ALGOL 60 Translator.	Comput. J.	1967	DBLP DOI BibTeX RDF
17	Paul W. Abrahams	A final solution to the Dangling else of ALGOL 60 and related languages.	Commun. ACM	1966	DBLP DOI BibTeX RDF
17	Jirí Kopriva	A note on the structure of certain predicates concerning the sublanguages of ALGOL 60.	Kybernetika	1965	DBLP BibTeX RDF
17	James N. Haag	Letters to the editor: more suggestions for ALGOL 60.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
17	Roman L. Weil	Testing the understanding of the difference between call by name and call by value in ALGOL 60.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
17	Peter J. Landin	A correspondence between ALGOL 60 and Church's Lambda-notations: Part II.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
17	William M. McKeeman	Algorithm 268: ALGOL 60 reference language editor [R2].	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
17	Peter J. Landin	Correspondence between ALGOL 60 and Church's Lambda-notation: part I.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
17	Walter H. Burkhardt	Letters to the editor: syntax and generalization of ALGOL 60.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
17	Kenneth E. Iverson	Letters to the editor: remarks on syntax and generalization of ALGOL 60.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
17	J. R. Voss	In defense of ALGOL 60 as a publication language.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
17	K. L. Ryder	Note on an ALGOL 60 Compiler for Pegasus I.	Comput. J.	1964	DBLP DOI BibTeX RDF
17	R. G. Franciotti, Marjorie P. Lietzke	The organization of the SHARE Algol 60 Translator.	ACM National Conference	1964	DBLP DOI BibTeX RDF
17	John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy 0001, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger, Peter Naur	Revised report on the algorithm language ALGOL 60.	Commun. ACM	1963	DBLP DOI BibTeX RDF
17	Miriam G. Shoffner, Peter J. Brown	A suggested method of making fuller use of strings in ALGOL 60.	Commun. ACM	1963	DBLP DOI BibTeX RDF
17	Peter Naur	Documentation problems: ALGOL 60.	Commun. ACM	1963	DBLP DOI BibTeX RDF
17	Peter J. Brown	Note on the proof of the non-existence of a phrase structure grammar for ALGOL 60.	Commun. ACM	1963	DBLP DOI BibTeX RDF
17	Mark B. Wells	Letters to the editor: on ALGOL 60 as a publication language.	Commun. ACM	1963	DBLP DOI BibTeX RDF
17	R. E. Utman	Suggestions on ALGOL 60 (ROME) issues.	Commun. ACM	1963	DBLP DOI BibTeX RDF
17	Michael Woodger	Supplement to the ALGOL 60 report.	Commun. ACM	1963	DBLP DOI BibTeX RDF
17	Fraser G. Duncan	Input and output for ALGOL 60 on KDF 9.	Comput. J.	1963	DBLP DOI BibTeX RDF
17	J. M. Gerard, A. W. Sambles	A hardware representation for ALGOL 60 using Creed teleprinter equipment.	Comput. J.	1963	DBLP DOI BibTeX RDF
17	John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy 0001, Peter Naur, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger	Revised report on the algorithmic language ALGOL 60.	Comput. J.	1963	DBLP DOI BibTeX RDF
17	Joseph Henry Wegstein, W. W. Youden	A string language for symbol manipulation based on ALGOL 60.	Commun. ACM	1962	DBLP DOI BibTeX RDF
17	Edsger W. Dijkstra	Operating Experience with ALGOL 60.	Comput. J.	1962	DBLP DOI BibTeX RDF
17	Fraser G. Duncan	Implementation of ALGOL 60 for the English Electric KDF9.	Comput. J.	1962	DBLP DOI BibTeX RDF
17	Manfred Paul	ALGOL 60 Processors and a Processor Generator.	IFIP Congress	1962	DBLP BibTeX RDF
17	S. J. M. Denison	A Proposed ALGOL 60 Matrix Scheme.	IFIP Congress	1962	DBLP BibTeX RDF
17	W. Börsch-Supan	Remark: on frequently occurring errors in Algol-60 programs.	Commun. ACM	1961	DBLP DOI BibTeX RDF
17	Harry D. Huskey, Willard H. Wattenburg	Compiling techniques for Boolean expressions and conditional statements in ALGOL 60.	Commun. ACM	1961	DBLP DOI BibTeX RDF	ALGOL
17	Bruce W. Arden, Bernard A. Galler, Robert M. Graham	Letter to the editor: criticisms of ALGOL 60.	Commun. ACM	1961	DBLP DOI BibTeX RDF
17	Edsger W. Dijkstra	Letter to the editor: defense of ALGOL 60.	Commun. ACM	1961	DBLP DOI BibTeX RDF
17	Jørn Jensen, Per Mondrup, Peter Naur	A storage allocation scheme for ALGOL 60.	Commun. ACM	1961	DBLP DOI BibTeX RDF	ALGOL
17	Christopher S. Strachey, Maurice V. Wilkes	Some proposals for improving the efficiency of ALGOL 60.	Commun. ACM	1961	DBLP DOI BibTeX RDF	ALGOL
17	Kirk Sattley	Allocation of storage for arrays in ALGOL 60.	Commun. ACM	1961	DBLP DOI BibTeX RDF