Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
34 | Richard C. Singleton |
Remark on algorithm 339 [C6]: an algol procedure for the fast fourier transform with arbitrary factors. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
complex Fourier transform, fastFourier transform, multivariate Fourier transform, virtual core memory, permutation, spectral analysis, ALGOL, orthogonal polynomials, Fourier series, orthogonal transformation, harmonic analysis |
34 | G. Sauer |
Remark on algorithm 268 [R2]: ALGOL 60 reference language editor. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
ALGOL, symbol manipulation |
34 | Derick Wood |
A few more trouble spots in ALGOL 60. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
semantics, programming language, ALGOL, syntax |
34 | James N. Haag |
Letters to the editor: more suggestions for ALGOL 60. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | W. A. Zaremba |
On ALGOL I/O conventions. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | 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 |
34 | Peter J. Landin |
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | William M. McKeeman |
Algorithm 268: ALGOL 60 reference language editor [R2]. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Peter J. Landin |
Correspondence between ALGOL 60 and Church's Lambda-notation: part I. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Walter H. Burkhardt |
Letters to the editor: syntax and generalization of ALGOL 60. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Herbert Kanner, P. Kosinski, Charles L. Robinson |
The structure of yet another ALGOL compiler. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Kenneth E. Iverson |
Letters to the editor: remarks on syntax and generalization of ALGOL 60. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Gene F. Rose |
An extension of ALGOL-like languages. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Thomas E. Cheatham Jr. |
Editor's note: A successor to ALGOL? |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Alan J. Perlis, Renato Iturriaga |
An extension to ALGOL for manipulating formulae. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Paul A. Samet, P. J. Taylor |
Comments on the ALCOR group represenatation of of ALGOL symbols. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | J. R. Voss |
In defense of ALGOL 60 as a publication language. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Seymour Ginsburg, Gene F. Rose |
Some Recursively Unsolvable Problems in ALGOL-Like Languages. |
J. ACM |
1963 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | H. Bottenbruch |
Structure and Use of ALGOL 60. |
J. ACM |
1962 |
DBLP DOI BibTeX RDF |
ALGOL-60 |
34 | Seymour Ginsburg, H. Gordon Rice |
Two Families of Languages Related to ALGOL. |
J. ACM |
1962 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | 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 |
34 | Albert A. Grau |
Recursive processes and ALGOL translation. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Christopher S. Strachey, Maurice V. Wilkes |
Some proposals for improving the efficiency of ALGOL 60. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Edgar T. Irons |
A Syntax Directed Compiler for ALGOL 60. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Arthur Evans Jr., Alan J. Perlis, H. Van Zoeren |
The use of threaded lists in constructing a combined ALGOL and machine-like assembly processor. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Edgar T. Irons, Wallace Feurzeig |
Comments on the implementation of recursive procedures and blocks in ALGOL 60. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
ALGOL |
34 | Warren Taylor, Lloyd D. Turner, Richard E. Waychoff |
A syntactical chart of ALGOL 60. |
Commun. ACM |
1961 |
DBLP DOI BibTeX RDF |
ALGOL |
30 | Olivier Danvy, Chung-chieh Shan, Ian Zerny |
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. |
DSL |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Andrzej S. Murawski, Igor Walukiewicz |
Third-Order Idealized Algol with Iteration Is Decidable. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Aleksandar S. Dimovski, Ranko Lazic 0001 |
CSP Representation of Game Semantics for Second-Order Idealized Algol. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
30 | C.-H. Luke Ong |
Observational Equivalence of 3rd-Order Idealized Algol is Decidable. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Paul Philbrow, I. Armour, Malcolm P. Atkinson 0001, J. Livingstone |
PS-Algol's device-independent output statement. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
S |
30 | S. Kamal Abdali, David S. Wise |
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
30 | Norman Hardy |
Nested Scopes in Pascal and Algol 68. |
ACM SIGPLAN Notices |
1983 |
DBLP DOI BibTeX RDF |
|
30 | Richard L. Schwartz |
An Aximatic Treatment of Algol 68 Routines. |
ICALP |
1979 |
DBLP DOI BibTeX RDF |
|
30 | Paul W. Abrahams |
A final solution to the Dangling else of ALGOL 60 and related languages. |
Commun. ACM |
1966 |
DBLP DOI BibTeX RDF |
|
30 | Ole-Johan Dahl, Kristen Nygaard |
SIMULA - an ALGOL-based simulation language. |
Commun. ACM |
1966 |
DBLP DOI BibTeX RDF |
|
30 | Luigi Petrone, Carlo E. Vandoni |
Integer and signed constants in ALGOL. |
Commun. ACM |
1964 |
DBLP DOI BibTeX RDF |
|
30 | Arthur F. Kaupe Jr. |
A note on the dangling else ALGOL 60. |
Commun. ACM |
1963 |
DBLP DOI BibTeX RDF |
|
30 | Peter Naur |
Documentation problems: ALGOL 60. |
Commun. ACM |
1963 |
DBLP DOI BibTeX RDF |
|
30 | Paul V. McIsaac |
Combining ALGOL statement analysis with validity checking. |
Commun. ACM |
1960 |
DBLP DOI BibTeX RDF |
|
29 | Dan R. Ghica |
Slot games: a quantitative model of computation. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
algol, game semantics, quantitative analysis |
29 | Vincent Danos, Russell Harmer |
Probabilistic game semantics. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
probabilistic Idealized Algol, Games semantics |
29 | Peter W. O'Hearn, Robert D. Tennent |
Parametricity and Local Variables. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
algol-like languages, local state, parametric polymorphism, logical relations |
29 | Albert R. Meyer, Kurt Sieber |
Towards Fully Abstract Semantics for Local Variables. |
POPL |
1988 |
DBLP DOI BibTeX RDF |
ALGOL |
29 | Shaula Yemini, Daniel M. Berry |
A Modular Verifiable Exception-Handling Mechanism. |
ACM Trans. Program. Lang. Syst. |
1985 |
DBLP DOI BibTeX RDF |
ALGOL-68 |
29 | David Gries, Manfred Paul 0001, Hans-Rüdiger Wiehle |
Some techniques used in the ALCOR ILLINOIS 7090. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
24 | James Dean Palmer |
Ginger: implementing a new Lisp family syntax. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Niklaus Wirth |
Modula-2 and Oberon. |
HOPL |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Andrzej S. Murawski |
Bad Variables Under Control. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Andrzej S. Murawski |
On Program Equivalence in Languages with Ground-Type References. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
24 | David A. Naumann |
On the Essence of Oberon. |
Programming Languages and System Architectures |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Philip W. Hall IV |
Parsing with C++ Constructors. |
ACM SIGPLAN Notices |
1993 |
DBLP DOI BibTeX RDF |
C++ |
24 | Baowen Xu |
CRL/Pascal: A Pascal-oriented Cross Reference Language And Its Applications. |
ACM SIGPLAN Notices |
1993 |
DBLP DOI BibTeX RDF |
Pascal |
24 | Rex E. Gantenbein |
Support for Dynamic Binding in Strongly Typed Languages. |
ACM SIGPLAN Notices |
1987 |
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 | Thomas Lengauer, Robert Endre Tarjan |
A Fast Algorithm for Finding Dominators in a Flowgraph. |
ACM Trans. Program. Lang. Syst. |
1979 |
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 | Henry J. Bowlden |
A list-type storage technique for alphanumeric information. |
Commun. ACM |
1963 |
DBLP DOI BibTeX RDF |
|
24 | Bernard A. Galler |
SHARE information available to nonmembers. |
Commun. ACM |
1962 |
DBLP DOI BibTeX RDF |
|
24 | Bernard A. Galler, Alan J. Perlis |
Compiling matrix operations. |
Commun. ACM |
1962 |
DBLP DOI BibTeX RDF |
|
17 | William John Gowers |
The crossroads of categorical algebra and game semantics: an investigation into the application of Kleisli categories and related constructions to the study of Full Abstraction for nondeterministic effects in Algol-like languages. |
|
2020 |
RDF |
|
17 | Wolfgang A. Halang, Marcel Schaible |
Von Algol 68 zu SafePEARL. |
Echtzeit |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Haigh, Mark Priestley |
Where code comes from: architectures of automatic control from Babbage to Algol. |
Commun. ACM |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Gerard Alberts, Edgar G. Daylight |
Universality versus Locality: The Amsterdam Style of Algol Implementation. |
IEEE Ann. Hist. Comput. |
2014 |
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 | Pierre E. Mounier-Kuhn |
Algol in France: From Universal Project to Embedded Culture. |
IEEE Ann. Hist. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Helena Durnova |
Embracing the Algol Effort in Czechoslovakia. |
IEEE Ann. Hist. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Gerard Alberts |
Algol Culture and Programming Styles [Guest editor's introduction]. |
IEEE Ann. Hist. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Uday S. Reddy |
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Robert Braden |
Burroughs Algol at Stanford University, 1960-1963. |
IEEE Ann. Hist. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Hanna Rutishauser |
Numerik, ALGOL und die Schweizer Hochalpen. Zur Arbeit an der Biografie von Heinz Rutishauser (1918-1970). |
Inform. Spektrum |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Friedrich L. Bauer |
Die ALGOL-Verschwörung. |
Inform. Spektrum |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Winfried K. Grassmann |
A Computer Built with Relays and a Mechanical Memory, and ALGOL. |
Comput. J. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Uday S. Reddy, Brian P. Dunphy |
An Automata-Theoretic Model of Idealized Algol - (Extended Abstract). |
ICALP (2) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej S. Murawski, Igor Walukiewicz |
Third-order Idealized Algol with iteration is decidable. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Günter Riedewald |
Von ALGOL 60 zur symbolischen Simulation. |
Informatik in der DDR |
2008 |
DBLP BibTeX RDF |
|
17 | Claudio Hermida, Robert D. Tennent |
A fibrational framework for possible-world semantics of Algol-like languages. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Lars Birkedal, Noah Torp-Smith, Hongseok Yang |
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages |
CoRR |
2006 |
DBLP BibTeX RDF |
|
17 | Lars Birkedal, Noah Torp-Smith, Hongseok Yang |
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. |
Log. Methods Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
17 | C.-H. Luke Ong |
An approach to deciding the observational equivalence of Algol-like languages. |
Ann. Pure Appl. Log. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Hans Langmaack |
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Hans Langmaack |
An ALGOL-View on Turbo ASM. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Dan R. Ghica, Guy McCusker |
The regular-language semantics of second-order idealized ALGOL. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Guy McCusker |
On the Semantics of the Bad-Variable Constructor in Algol-like Languages. |
MFPS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | David Clark 0001, Chris Hankin, Sebastian Hunt |
Information flow for Algol-like languages. |
Comput. Lang. Syst. Struct. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Stephen D. Brookes |
The Essence of Parallel Algol. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Uday S. Reddy |
Objects and Classes in Algol-Like Languages. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Friedrich L. Bauer |
From the Stack Principle to ALGOL. |
Software Pioneers |
2002 |
DBLP DOI BibTeX RDF |
|
17 | C.-H. Luke Ong |
Model Checking Algol-Like Languages Using Game Semantics. |
FSTTCS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Samson Abramsky, Guy McCusker |
Full Abstraction for Idealized Algol with Passive Expressions. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Christine Röckl, Davide Sangiorgi |
A pi-calculus Process Semantics of Concurrent Idealised ALGOL. |
FoSSaCS |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Samson Abramsky, Guy McCusker |
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions. |
Linear Logic Tokyo Meeting |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Kurt Sieber |
Full Abstraction for the Second Order Subset of an Algol-Like Language. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Peter W. O'Hearn |
Note on Algol and Conservatively Extending Functional Programming. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Cornelis H. A. Koster |
The Making of Algol 68. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Mikhail A. Bulyonkov, Dmitry V. Kochetov |
Practical Aspects of Specialization of Algol-like Programs. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Stephen D. Brookes |
The Essence of Parallel Algol. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Stephen D. Brookes |
A Category-Theoretic Treatment of a Parallel Algol-Like Language. |
Category Theory and Computer Science |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Kurt Sieber |
Full Abstraction for the Second Order Subset of an Algol-Like Language. |
MFCS |
1994 |
DBLP DOI BibTeX RDF |
|