Search results for "algol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Donald E. Knuth, Jack N. Merner	ALGOL 60 confidential.	Commun. ACM	1961	DBLP DOI BibTeX RDF	ALGOL
100	Stephen Weeks, Matthias Felleisen	On the Orthogonality of Assignments and Procedures in Algol.	POPL	1993	DBLP DOI BibTeX RDF	ALGOL-60, ALGOL
83	Bengt Asker	Algol-Genius.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Datasaab computers, programming languages, Algol
83	Donald E. Knuth	A proposal for input-output conventions in ALGOL 60.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
79	Jaroslav Král, J. Moudrý	An Implementation of Identifier Tables in a Multipass Algol 68 Compiler Based on a Hash-Code Technique.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	Paul Branquart, Johan Lewi, Jean-Pierre Cardinael	Analysis of the Parenthesis Structure of Algol 68.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	Paul Branquart, Johan Lewi	A Scheme of Storage Allocation and Garbage Collection for Algol 68.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	Pierre L. Wodon	Methods of Garbage Collection for Algol 68.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	C. H. Lindsey	Some Algol 68 Sublanguages.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	Hans Wössner	On Identification of Operators in Algol 68.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	A. A. Bährs, Andrei P. Ershov, A. F. Rar	On Description of Syntax of Algol 68 and its National Variants.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	Gerhard Goos	Some Problems in Compiling Algol 68.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	Ian F. Currie, Susan G. Bond, J. D. Morison	Algol 68-R.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	Gerhard Goos, Henry J. Bowlden, Paul Branquart, Barry J. Mailloux, John E. L. Peck, Philip M. Woodward	Panel Discussion - Algol 68 Sublanguages.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	S. Marshall	An Algol 68 Garbage Collector.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
79	H. Scheidig	Syntax and Mode Check in an Algol 68 Compiler.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
78	E. Theissen	Automatische Umwandlung von BELL-Programmen in ALGOL-Programme.	Computing	1966	DBLP DOI BibTeX RDF
78	Joseph W. Smith	Syntactic and Semantic Augments to ALGOL.	Commun. ACM	1960	DBLP DOI BibTeX RDF
78	Robert W. Floyd	An Algorithm Defining ALGOL Assignment Statements.	Commun. ACM	1960	DBLP DOI BibTeX RDF
73	David R. Barach, David H. Taenzer, Robert E. Wells	A technique for finding storage allocation errors in C-language programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
66	Jean-Claude Boussard	An ALGOL compiler: construction and use in relation to an elaborate operating system.	Commun. ACM	1966	DBLP DOI BibTeX RDF
65	Ingemar Dahlstrand	The Early Nordic Software Effort.	History of Nordic Computing	2003	DBLP DOI BibTeX RDF	Algol 60, Nordic historical efforts, compilers, Software
63	René de Vogelaere	Algorithms: Algorithm 335: a set of basic input-output procedures.	Commun. ACM	1968	DBLP DOI BibTeX RDF	ALGOL 60, Berkeley style, decompose integer, decompose real, equivalent ALGOL statements, fixed point representation, input echo, input outpur array, input output Boolean, input output procedures, integer format, out integer, output channel interpretation, output documentation, procedures relationship, quality output, read real, real format, ALGOL, style, transput, input output, floating point representation, floating point representational
61	Sietse G. van der Meulen	ALGOL 68 might-have-beens.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	I. C. Braid, R. C. Hillyard	Geometric modelling in ALGOL 68.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Dick Grune	Towards the design of a super-language of ALGOL 68 for the Standard Prelude (Excerpt).	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Frank G. Pagan	Algol 68 as an implementation language for portable interpreters.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Bernard Houssais	Verification of an Algol 68 implementation.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	M. W. Bennett	Implementation of a PDP11/ICL1900 cross assembler in Algol 68R.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Michel Simonet	An attribute description of a subset of Algol 68.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	David F. Brailsford, Eric Foxley, K. C. Mander, D. J. Morgan	'Run-time profiling of Algol 68-R programs using DIDYMUS and SCAMP'.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Daniel Taupin	The ALGOL 68 compiler of Paris-XI University (Orsay).	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	R. B. Hunter, Andrew D. McGettrick, R. Patel	LL versus LR parsing with illustrations from ALGOL 68.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Wilfried Koch, Christoph Oeters	The Berlin ALGOL 68 implementation.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Bryan Ratcliff	ALGOL 68 and structured programming for learner-programmers.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	J. Alan Prudom, Michael A. Hennell	Some problems concerning the automatic translation of Fortran to Algol 68.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	P. R. West	A Multi Radar Tracking simulation using ALGOL 68'R.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Richard J. W. Housden, N. Kotarski	Character string pattern matching in Algol 68.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Michael A. Hennell, David Hedley, Martin R. Woodward	Quantifying the test effectiveness of Algol 68 programs.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	Peter G. Craven	Derivatives without tears in Algol 68.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
61	John E. L. Peck (eds.)	ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970	ALGOL 68 Implementation	1971	DBLP BibTeX RDF
61	Andrei P. Ershov	A Multilanguage Programming System Oriented to Languages Description and Universal Optimization Algorithms.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
61	Friedrich L. Bauer, Henry J. Bowlden, Paul Branquart, Ian F. Currie, Andrei P. Ershov, Cornelis H. A. Koster, Barry J. Mailloux, Manfred Paul	Panel Discussion - Implementation.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
61	Cornelis H. A. Koster	Affix-Grammars.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
61	C. H. Lindsey	Making the Hardware Suit the Language.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
61	Henry J. Bowlden	A Symbol Table with Scope Recognition for the B-6500.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
61	Laurent Trilling, Jean-Pierre Verjus	An Attempted Definition of an Extensible System.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
61	Pierre Goyer	A Garbage Collector to be Implemented on a CDC 3100.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
59	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
59	Dan R. Ghica, Guy McCusker	Reasoning about Idealized ALGOL Using Regular Languages.	ICALP	2000	DBLP DOI BibTeX RDF	ALGOL-like languages, regular languages, Game semantics
59	Marjorie P. Lietzke	A method of syntax-checking ALGOL 60.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
54	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
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
53	Andrzej S. Murawski	Reachability Games and Game Semantics: Comparing Nondeterministic Programs.	LICS	2008	DBLP DOI BibTeX RDF	Idealized Algol, pushdown graphs, reachability games, nondeterminism, game semantics
52	Hans Rudolf Schwarz	An introduction to ALGOL: a tutorial paper on ALGOL with explanations and examples to make the use of the ALGOL report more familiar.	Commun. ACM	1962	DBLP DOI BibTeX RDF
52	Peter Naur	The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL).	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
51	Jerome A. Feldman, Paul Rovner	An ALGOL-based associative language.	Commun. ACM	1969	DBLP DOI BibTeX RDF	data structure, programming language, associative, ALGOL, ALGOL
48	Alan J. Demers, James E. Donahue	"Type-Completeness" as a Language Design Principle.	POPL	1980	DBLP DOI BibTeX RDF
48	John W. Carr III, Jerome Welland	A nonrecursive method of syntax specification.	Commun. ACM	1966	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
46	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
46	Jan V. Garwick	Remark on further generalization of ALGOL.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
46	Jørn Jensen, Per Mondrup, Peter Naur	A storage allocation scheme for ALGOL 60.	Commun. ACM	1961	DBLP DOI BibTeX RDF	ALGOL
46	A. J. Korenjak	A practical method for constructing LR(k) processors.	Commun. ACM	1969	DBLP DOI BibTeX RDF	LR(k) grammar, deterministic language, language processor, syntax-directed compiler, ALGOL, ALGOL, parser, context-free language, syntactic analysis
44		Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
44	Roy Edwards	Is Pascal a logical subset of Algol68 or not? Part One.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
44	P. J. Gardner	A transportation of ALGOL68C.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
44	Andrew Birrell	Storage management for ALGOL68.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
44	J. M. Foster, P. D. Foster	Abstract data and functors.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
44	Johannes C. van Vliet	Towards a machine-independent transput section.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
44	Péter Szöke	Some remarks on new instances and garbage collection.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
44	C. F. Vansina	Description of dynamic manipulation of ALGOL68 values using a generative grammar.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
44	Victor J. Rayward-Smith	Using procedures in list processing.	Strathclyde ALGOL 68 Conference	1977	DBLP DOI BibTeX RDF
42	Andrzej S. Murawski, C.-H. Luke Ong, Igor Walukiewicz	Idealized Algol with Ground Recursion, and DPDA Equivalence.	ICALP	2005	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	Hans-Wilm Wippermann	Definition von Schrankenzahlen in Triplex-ALGOL.	Computing	1968	DBLP DOI BibTeX RDF
42	L. von Sydow	Computer typesetting of ALGOL.	Commun. ACM	1967	DBLP DOI BibTeX RDF
42	Niklaus Wirth, Helmut Weber 0002	EULER: a generalization of ALGOL, and its formal definition: Part II.	Commun. ACM	1966	DBLP DOI BibTeX RDF
42	Robert W. Floyd	On the nonexistence of a phrase structure grammar for ALGOL 60.	Commun. ACM	1962	DBLP DOI BibTeX RDF
42	Henry C. Thacher Jr.	A redundancy check for ALGOL programs.	Commun. ACM	1962	DBLP DOI BibTeX RDF
41	Andrzej S. Murawski	About the undecidability of program equivalence in finitary languages with state.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Idealized Algol, Game semantics, program equivalence
41	Guy McCusker	A Fully Abstract Relational Model of Syntactic Control of Interference.	CSL	2002	DBLP DOI BibTeX RDF	Algol-like languages, interference control, semantics, full abstraction, monoids, object spaces
41	John C. Reynolds	Using Functor Categories to Generate Intermediate Code.	POPL	1995	DBLP DOI BibTeX RDF	ALGOL
41	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
36	Billy G. Claybrook	LPL: a generalized list processing language.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
36	Edward F. Storm	CHAMP - character manipulation procedures.	Commun. ACM	1968	DBLP DOI BibTeX RDF	character manipulation, conditional expressions, string handling, symbol manipulation, procedures, quantifiers, recursive programming, structure matching
36	David G. Cantor	On The Ambiguity Problem of Backus Systems.	J. ACM	1962	DBLP DOI BibTeX RDF
35	Malcolm P. Atkinson 0001, Kenneth Chisholm, W. Paul Cockshott	PS-algol: an Algol with a persistent heap.	ACM SIGPLAN Notices	1982	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	Richard E. Marks	On the machine conversion of B5500 Algol to CDC 6000 Algol.	ACM Annual Conference	1971	DBLP DOI BibTeX RDF
35	Alain Landelle	Etude et réalisation d'une traduction automatique d'Algol 60 en Algol 68.		1971	RDF
35	R. Albrecht, E. Vistschnig	ALGOL-Prozeduren zu den modifizierten Algorithmen nach Minty und Moore ALGOL-Procedures to the Modified Algorithms According to Minty and Moore.	Computing	1969	DBLP DOI BibTeX RDF
35	Richard Baumann	ALGOL-Manual der ALCOR-Gruppe - Einführung in die algorithmische Formelsprache ALGOL (2. verb. Aufl.).		1967	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	Georg Werner	Etude de la syntaxe d' Algol - Application à la compilation. (Study of the syntax of Algol - Application to the compilation).		1964	RDF
35	Roger W. Hockney	ABS12 ALGOL: An Extension to Algol 60 for Industrial Use.	Comput. J.	1962	DBLP DOI BibTeX RDF
34	David Nofre	Unraveling Algol: US, Europe, and the Creation of a Programming Language.	IEEE Ann. Hist. Comput.	2010	DBLP DOI BibTeX RDF	history of software, universal language, programming languages, Algol, history of computing
34	Thomas P. Murtagh	A Less Dynamic Memory Allocation Scheme for Algol-like Languages.	POPL	1984	DBLP DOI BibTeX RDF	ALGOL
34	Joseph Y. Halpern	A Good Hoare Axiom System for an Algol-like Language.	POPL	1984	DBLP DOI BibTeX RDF	ALGOL
34	James M. Boyle, Albert A. Grau	An Algorithmic Semantics for ALGOL 60 Identifier Denotation.	J. ACM	1970	DBLP DOI BibTeX RDF	ALGOL