The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Algol with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1961 (40) 1962 (19) 1963 (22) 1964 (21) 1965 (22) 1966 (24) 1967 (15) 1968 (18) 1969 (17) 1970 (29) 1971 (16) 1972 (18) 1973-1974 (34) 1975 (16) 1976 (19) 1977 (45) 1978 (24) 1979 (21) 1980-1981 (15) 1982-1983 (22) 1984-1985 (19) 1986-1987 (15) 1988-1990 (18) 1991-1994 (18) 1995-1998 (16) 1999-2002 (17) 2003-2005 (18) 2006-2008 (16) 2009-2014 (18) 2016-2020 (3)
Publication types (Num. hits)
article(354) book(5) incollection(2) inproceedings(229) phdthesis(23) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 221 occurrences of 111 keywords

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