Search results for "ALGOL"

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