Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
107 | Donald E. Knuth, Jack N. Merner |
ALGOL 60 confidential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(6), pp. 268-272, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
ALGOL |
100 | Stephen Weeks, Matthias Felleisen |
On the Orthogonality of Assignments and Procedures in Algol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 57-70, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
ALGOL-60, ALGOL |
83 | Bengt Asker |
Algol-Genius. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Nordic Computing ![In: History of Nordic Computing, IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16-18, 2003, Trondheim, Norway, pp. 251-260, 2003, Springer, 0-387-24167-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Datasaab computers, programming languages, Algol |
83 | Donald E. Knuth |
A proposal for input-output conventions in ALGOL 60. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 7(5), pp. 273-283, 1964. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 77-81, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
79 | Paul Branquart, Johan Lewi, Jean-Pierre Cardinael |
Analysis of the Parenthesis Structure of Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 37-76, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
79 | Paul Branquart, Johan Lewi |
A Scheme of Storage Allocation and Garbage Collection for Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 199-238, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
79 | Pierre L. Wodon |
Methods of Garbage Collection for Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 245-262, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
79 | C. H. Lindsey |
Some Algol 68 Sublanguages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 283-288, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
79 | Hans Wössner |
On Identification of Operators in Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 111-118, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 163-177, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
79 | Gerhard Goos |
Some Problems in Compiling Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 179-196, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
79 | Ian F. Currie, Susan G. Bond, J. D. Morison |
Algol 68-R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 21-34, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 265-281, 289-300, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
79 | S. Marshall |
An Algol 68 Garbage Collector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 239-243, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
79 | H. Scheidig |
Syntax and Mode Check in an Algol 68 Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 83-92, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
78 | E. Theissen |
Automatische Umwandlung von BELL-Programmen in ALGOL-Programme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 1(4), pp. 354-357, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
78 | Joseph W. Smith |
Syntactic and Semantic Augments to ALGOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 3(4), pp. 211-212, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
78 | Robert W. Floyd |
An Algorithm Defining ALGOL Assignment Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 3(3), pp. 170-171, 1960. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 17(7), pp. 32-38, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
66 | Jean-Claude Boussard |
An ALGOL compiler: construction and use in relation to an elaborate operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(3), pp. 179-182, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
65 | Ingemar Dahlstrand |
The Early Nordic Software Effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
History of Nordic Computing ![In: History of Nordic Computing, IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16-18, 2003, Trondheim, Norway, pp. 239-249, 2003, Springer, 0-387-24167-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(8), pp. 567-573, 1968. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 1-18, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | I. C. Braid, R. C. Hillyard |
Geometric modelling in ALGOL 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 168-174, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Dick Grune |
Towards the design of a super-language of ALGOL 68 for the Standard Prelude (Excerpt). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 78-81, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Frank G. Pagan |
Algol 68 as an implementation language for portable interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 54-62, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Bernard Houssais |
Verification of an Algol 68 implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 117-128, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | M. W. Bennett |
Implementation of a PDP11/ICL1900 cross assembler in Algol 68R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 153-156, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Michel Simonet |
An attribute description of a subset of Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 129-137, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
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'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 27-35, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Daniel Taupin |
The ALGOL 68 compiler of Paris-XI University (Orsay). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 109-116, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | R. B. Hunter, Andrew D. McGettrick, R. Patel |
LL versus LR parsing with illustrations from ALGOL 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 49-53, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Wilfried Koch, Christoph Oeters |
The Berlin ALGOL 68 implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 102-108, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Bryan Ratcliff |
ALGOL 68 and structured programming for learner-programmers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 157-160, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | J. Alan Prudom, Michael A. Hennell |
Some problems concerning the automatic translation of Fortran to Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 138-143, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | P. R. West |
A Multi Radar Tracking simulation using ALGOL 68'R. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 175-178, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Richard J. W. Housden, N. Kotarski |
Character string pattern matching in Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 144-152, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Michael A. Hennell, David Hedley, Martin R. Woodward |
Quantifying the test effectiveness of Algol 68 programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 36-41, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
61 | Peter G. Craven |
Derivatives without tears in Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 19-26, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![North-Holland, 0-7204-2045-8 The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP BibTeX RDF |
|
61 | Andrei P. Ershov |
A Multilanguage Programming System Oriented to Languages Description and Universal Optimization Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 143-162, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 321-343, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
61 | Cornelis H. A. Koster |
Affix-Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 95-109, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
61 | C. H. Lindsey |
Making the Hardware Suit the Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 347-365, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
61 | Henry J. Bowlden |
A Symbol Table with Scope Recognition for the B-6500. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 1-19, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
61 | Laurent Trilling, Jean-Pierre Verjus |
An Attempted Definition of an Extensible System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 119-139, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
61 | Pierre Goyer |
A Garbage Collector to be Implemented on a CDC 3100. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALGOL 68 Implementation ![In: ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, Germany, July 20-24, 1970, pp. 303-317, 1970, North-Holland, 0-7204-2045-8. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP BibTeX RDF |
|
59 | Hans Langmaack |
On Revival of Algol-Concepts in Modern Programming and Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 414-434, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 103-115, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ALGOL-like languages, regular languages, Game semantics |
59 | Marjorie P. Lietzke |
A method of syntax-checking ALGOL 60. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 7(8), pp. 475-478, 1964. The full citation details ...](Pics/full.jpeg) |
1964 |
DBLP DOI BibTeX RDF |
ALGOL |
54 | Peter W. O'Hearn, John C. Reynolds |
From Algol to polymorphic linear lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(1), pp. 167-223, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(10), pp. 581, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
ising problem, zero-one sequences, ACLAN |
53 | Andrzej S. Murawski |
Reachability Games and Game Semantics: Comparing Nondeterministic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 353-363, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 5(2), pp. 82-95, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
52 | Peter Naur |
The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 8(11), pp. 671-676, 1965. The full citation details ...](Pics/full.jpeg) |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
51 | Jerome A. Feldman, Paul Rovner |
An ALGOL-based associative language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(8), pp. 439-449, 1969. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 234-244, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
48 | John W. Carr III, Jerome Welland |
A nonrecursive method of syntax specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(4), pp. 267-269, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
48 | K. M. Bosworth |
Certifications of algorithms 117 and 118 magic square (odd and even orders)2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 6(3), pp. 105, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
46 | Brian Randell, L. J. Russell |
Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 11(2), pp. 159-167, 1964. The full citation details ...](Pics/full.jpeg) |
1964 |
DBLP DOI BibTeX RDF |
ALGOL |
46 | Jan V. Garwick |
Remark on further generalization of ALGOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 7(7), pp. 422-423, 1964. The full citation details ...](Pics/full.jpeg) |
1964 |
DBLP DOI BibTeX RDF |
ALGOL |
46 | Jørn Jensen, Per Mondrup, Peter Naur |
A storage allocation scheme for ALGOL 60. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(10), pp. 441-445, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
ALGOL |
46 | A. J. Korenjak |
A practical method for constructing LR(k) processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(11), pp. 613-623, 1969. The full citation details ...](Pics/full.jpeg) |
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](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![ACM, 978-1-4503-7901-4 The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
44 | Roy Edwards |
Is Pascal a logical subset of Algol68 or not? Part One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 184-191, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
44 | P. J. Gardner |
A transportation of ALGOL68C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 95-101, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
44 | Andrew Birrell |
Storage management for ALGOL68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 82-94, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
44 | J. M. Foster, P. D. Foster |
Abstract data and functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 161-167, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
44 | Johannes C. van Vliet |
Towards a machine-independent transput section. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 71-77, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
44 | Péter Szöke |
Some remarks on new instances and garbage collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 42-48, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
44 | C. F. Vansina |
Description of dynamic manipulation of ALGOL68 values using a generative grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 63-70, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
44 | Victor J. Rayward-Smith |
Using procedures in list processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Strathclyde ALGOL 68 Conference ![In: Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, Scotland, March 29-31, 1977, pp. 179-183, 1977, ACM, 978-1-4503-7901-4. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
42 | Andrzej S. Murawski, C.-H. Luke Ong, Igor Walukiewicz |
Idealized Algol with Ground Recursion, and DPDA Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 917-929, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Wolfgang Henhapl, Cliff B. Jones |
A Formal Definition of Algol 60 as Described in the 1975 Modified Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Vienna Development Method: The Meta-Language ![In: The Vienna Development Method: The Meta-Language, pp. 305-336, 1978, Springer, 3-540-08766-4. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
42 | Hans-Wilm Wippermann |
Definition von Schrankenzahlen in Triplex-ALGOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 3(2), pp. 99-109, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
42 | L. von Sydow |
Computer typesetting of ALGOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 10(3), pp. 172-174, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
42 | Niklaus Wirth, Helmut Weber 0002 |
EULER: a generalization of ALGOL, and its formal definition: Part II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(2), pp. 89-99, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
42 | Robert W. Floyd |
On the nonexistence of a phrase structure grammar for ALGOL 60. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 5(9), pp. 483-484, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
42 | Henry C. Thacher Jr. |
A redundancy check for ALGOL programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 5(6), pp. 337-342, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
41 | Andrzej S. Murawski |
About the undecidability of program equivalence in finitary languages with state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(4), pp. 701-726, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Idealized Algol, Game semantics, program equivalence |
41 | Guy McCusker |
A Fully Abstract Relational Model of Syntactic Control of Interference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 247-261, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 25-36, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
ALGOL |
41 | Jan V. Garwick |
Programming Languages: GPL, a truly general purpose language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(9), pp. 634-638, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
general purpose, self-extending, programming language, AlGOL, macro |
36 | Billy G. Claybrook |
LPL: a generalized list processing language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 659-663, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
36 | Edward F. Storm |
CHAMP - character manipulation procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(8), pp. 561-566, 1968. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 9(4), pp. 477-479, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
35 | Malcolm P. Atkinson 0001, Kenneth Chisholm, W. Paul Cockshott |
PS-algol: an Algol with a persistent heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 17(7), pp. 24-31, 1982. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 8(4), pp. 211-223, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP BibTeX RDF |
|
35 | Richard E. Marks |
On the machine conversion of B5500 Algol to CDC 6000 Algol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 26th ACM annual conference, ACM 1971, USA, 1971, pp. 554-559, 1971, ACM, 978-1-4503-7484-2. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
35 | Alain Landelle |
Etude et réalisation d'une traduction automatique d'Algol 60 en Algol 68. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 4(1), pp. 76-81, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
35 | Richard Baumann |
ALGOL-Manual der ALCOR-Gruppe - Einführung in die algorithmische Formelsprache ALGOL (2. verb. Aufl.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1966 |
RDF |
|
35 | Georg Werner |
Etude de la syntaxe d' Algol - Application à la compilation. (Study of the syntax of Algol - Application to the compilation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1964 |
RDF |
|
35 | Roger W. Hockney |
ABS12 ALGOL: An Extension to Algol 60 for Industrial Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 4(4), pp. 292-300, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
34 | David Nofre |
Unraveling Algol: US, Europe, and the Creation of a Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 32(2), pp. 58-68, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 283-289, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Joseph Y. Halpern |
A Good Hoare Axiom System for an Algol-like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 262-271, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | James M. Boyle, Albert A. Grau |
An Algorithmic Semantics for ALGOL 60 Identifier Denotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 17(2), pp. 361-382, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
ALGOL |