Search results for "ALGOL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Gilbert A. Bachelor, Donald E. Knuth, J. R. H. Dempster, Joseph Speroni	SMALGOL-61.	Commun. ACM	1961	DBLP DOI BibTeX RDF	ALGOL
12	David Hopkins 0002, C.-H. Luke Ong	Homer: A Higher-Order Observational Equivalence Model checkER.	CAV	2009	DBLP DOI BibTeX RDF
12	Dan R. Ghica, Adam Bakewell	Clipping: A Semantics-Directed Syntactic Approximation.	LICS	2009	DBLP DOI BibTeX RDF
12	Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg	State-dependent representation independence.	POPL	2009	DBLP DOI BibTeX RDF	local state, representation independence, abstract data types, existential types, step-indexed logical relations
12	Guy L. Steele Jr.	Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful.	ICFP	2009	DBLP DOI BibTeX RDF	associative operator, conjugate transform, tree, reduction, monoid
12	Butler W. Lampson	Lazy and speculative execution in computer systems.	ICFP	2008	DBLP DOI BibTeX RDF	lazy evaluation
12	Mark Samuel Miller	Tradeoffs in retrofitting security: an experience report.	DLS	2007	DBLP DOI BibTeX RDF	object-capability, security, access control, language
12	Luca Cardelli	An Accidental Simula User.	ECOOP	2007	DBLP DOI BibTeX RDF
12	John G. P. Barnes	SP1: introducing the best of ada 2005.	SIGAda	2007	DBLP DOI BibTeX RDF
12	Grady Booch	Goodness of Fit.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	Backus-Naur Form, Fortran, functional programming, computer language, goodness of fit
12	Alexander Okhotin	Language Equations with Symmetric Difference.	CSR	2006	DBLP DOI BibTeX RDF
12	Butler W. Lampson	Lazy and Speculative Execution in Computer Systems.	OPODIS	2006	DBLP DOI BibTeX RDF
12	Lars Birkedal, Noah Torp-Smith, Hongseok Yang	Semantics of Separation-Logic Typing and Higher-Order Frame Rules.	LICS	2005	DBLP DOI BibTeX RDF
12	Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	Data-Abstraction Refinement: A Game Semantic Approach.	SAS	2005	DBLP DOI BibTeX RDF
12	Andrzej S. Murawski, Joël Ouaknine	On Probabilistic Program Equivalence and Refinement.	CONCUR	2005	DBLP DOI BibTeX RDF
12	Solomon Marcus	The Duality of Patterning in Molecular Genetics.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
12	Dan R. Ghica	Semantical Analysis of Specification Logic, 3: An Operational Approach.	ESOP	2004	DBLP DOI BibTeX RDF
12	Rimma I. Podlovchenko	Equivalent Transformations of Program Schemes for "Entangling" Programs.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
12	Olivier Danvy, Mayer Goldberg	There and back again.	ICFP	2002	DBLP DOI BibTeX RDF	Catalan numbers, Symbolic convolutions, continuation-based programming, palindrome detection
12	Michael R. Williams	Calvin Mooers, the NOL Computer Project, and John Vincent Atanasoff: An Introduction.	IEEE Ann. Hist. Comput.	2001	DBLP DOI BibTeX RDF
12	Vincent Danos, Russell Harmer	Probabilistic Game Semantics.	LICS	2000	DBLP DOI BibTeX RDF
12	Peter W. O'Hearn	Resource Interpretations, Bunched Implications and the alpha lambda-Calculus.	TLCA	1999	DBLP DOI BibTeX RDF
12	Pasquale Malacaria, Chris Hankin	Generalised Flowcharts and Games.	ICALP	1998	DBLP DOI BibTeX RDF
12	Martin Maierhofer, M. Anton Ertl	Local Stack Allocation.	CC	1998	DBLP DOI BibTeX RDF
12	Eugenio Moggi	Functor Categories and Two-Level Languages.	FoSSaCS	1998	DBLP DOI BibTeX RDF
12	William D. Clinger	Proper Tail Recursion and Space Efficiency.	PLDI	1998	DBLP DOI BibTeX RDF	SCHEME
12	Richard G. Hamlet	What Can We Learn by Testing a Program?	ISSTA	1998	DBLP DOI BibTeX RDF
12	Chris Hankin, Hanne Riis Nielson, Jens Palsberg	Position Statements on Strategic Directions for Research on Programming Languages.	ACM SIGPLAN Notices	1997	DBLP DOI BibTeX RDF
12	Johan Ringström, Peter Fritzson, Mikael Pettersson	Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.	CC	1994	DBLP DOI BibTeX RDF
12	Peter W. O'Hearn, Jon G. Riecke	Fully Abstract Translations and Parametric Polymorphism.	ESOP	1994	DBLP DOI BibTeX RDF
12	Werner Stephan 0001, Andreas Wolpers	A Calculus for Higher Order Procedures with Global Variables.	MFCS	1993	DBLP DOI BibTeX RDF
12	Raymond T. Boute	The Euclidian Definition of the Functions div and mod.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	Euclid's theorem, div function, hardware description, integer division, mod function, predefined functions, remainder, interpolation, sampling, residue, decimation, number representation
12	Mikael Pettersson, Peter Fritzson	DML - a meta-language and system for the generation of practical and efficient compilers from denotational specifications.	ICCL	1992	DBLP DOI BibTeX RDF
12	Torben Hagerup, Arno Schmitt, Helmut Seidl	FORK: A High-Level Language for PRAMs.	PARLE (1)	1991	DBLP DOI BibTeX RDF
12	Brian L. Meek	The Static Semantics File.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
12	Sanjeev Khanna	Logic Programming for Software Testing.	ICCI	1990	DBLP DOI BibTeX RDF
12	Alexei I. Miroshnikov	Algorithm Alterable Models and APL.	APL	1990	DBLP DOI BibTeX RDF	APL
12	John C. Reynolds	Syntactic Control of Inference, Part 2.	ICALP	1989	DBLP DOI BibTeX RDF
12	Edmund M. Clarke, Yulin Feng	Escher-a geometrical layout system for recursively defined circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
12	S. A. DiNitto Jr.	Future directions in programming languages.	ICCL	1988	DBLP DOI BibTeX RDF
12	Keith R. Milliken, Allan J. Finkel, David A. Klein, Norman B. Waite	Adding Rule-Based Techniques to Procedural Languages.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	PL/I
12	Behrooz K. Seyed-Abbassi, John C. Thompson	Grammatical relational database model (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
12	Robert A. Schmitt	A reconfigurable software style expert system (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
12	Arch Douglas Robison	The Illinois functional programming interpreter.	PLDI	1987	DBLP DOI BibTeX RDF	FP
12	Bernd Becker 0001, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof	Hierarchical Design Based on a Calculus of Nets.	DAC	1987	DBLP DOI BibTeX RDF
12	Rolf Bahlke, Gregor Snelting	The PSG System: From Formal Language Definitions to Interactive Programming Environments.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF
12	Harbans L. Sathi	A project-based course in compiler construction.	SIGCSE	1986	DBLP DOI BibTeX RDF
12	Edmund M. Clarke, Yulin Feng	Escher - a geometrical layout system for recursively defined circuits.	DAC	1986	DBLP DOI BibTeX RDF
12	Hans-Juergen Boehm	Side Effects and Aliasing Can Have Simple Axiomatic Descriptions.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
12	Keith D. Cooper	Analyzing Aliases of Reference Formal Parameters.	POPL	1985	DBLP DOI BibTeX RDF
12	Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot	The Semantics of Local Storage, or What Makes the Free-List Free?	POPL	1984	DBLP DOI BibTeX RDF
12	Hans Bekic	The Meaning of Names in PL/I.	Programming Languages and Their Definition	1984	DBLP DOI BibTeX RDF
12	C. E. Prael	PASCAL for operating software? A critical examination.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
12	Ronald Morrison	The string as a simple data type.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
12	Seppo Sippu, Eljas Soisalon-Soininen	Practical Error Recovery in LR Parsing.	POPL	1982	DBLP DOI BibTeX RDF
12	Karl Reed	On a General Property of Memory Mapping Tables.	ASPLOS	1982	DBLP DOI BibTeX RDF	Segmentation, Display, Virtual memory, Memory mapping, Page tables
12	Hans Langmaack, Ernst-Rüdiger Olderog	Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions.	ICALP	1980	DBLP DOI BibTeX RDF
12	Paul Klint	Line Numbers Made Cheap.	Commun. ACM	1979	DBLP DOI BibTeX RDF
12	Richard J. LeBlanc, Charles N. Fischer	On implementing separate compilation in block-structured languages.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF
12	Richard C. Holt, David B. Wortman	A model for implementing Euclid modules and type templates.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	EUCLID
12	Sten Andler	Predicate Path Expressions.	POPL	1979	DBLP DOI BibTeX RDF
12	Piotr Dembinski, Jan Maluszynski	Two Level Grammars: CF-Grammars with Equation Schemes.	ICALP	1979	DBLP DOI BibTeX RDF
12	Sorin Istrail	A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs.	ICALP	1979	DBLP DOI BibTeX RDF
12	Jayanta Banerjee, David K. Hsiao, Richard I. Baum	Concepts and Capabilities of a Database Computer.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	database computers, mass memory, structure memory, security, clustering, performance, content-addressable memory, keywords
12	John D. Gannon	Characteristic errors in programming languages.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Characteristic errors, Defensive programming, Reliable software, Experimentation, Language design
12	Bengt Nordström	Programming with abstract data types, some examples.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Graphs, Mappings, Pascal, Pascal, Pointers
12	Aravind K. Joshi, Leon S. Levy, Kang Yueh	Local Constraints in the Syntax and Semantics of Programming Languages.	POPL	1978	DBLP DOI BibTeX RDF
12	Edward A. Ashcroft, William W. Wadge	Clauses: Scope Structures and Defined Functions in Lucid.	POPL	1978	DBLP DOI BibTeX RDF
12	Marvin H. Solomon	Type Definitions with Parameters.	POPL	1978	DBLP DOI BibTeX RDF
12	Gérard Berry	Stable Models of Typed lambda-Calculi.	ICALP	1978	DBLP DOI BibTeX RDF
12	David B. Loveman	Program Improvement by Source-to-Source Transformation.	J. ACM	1977	DBLP DOI BibTeX RDF	Prolog
12	Barry K. Rosen	Applications of High-Level Control Flow.	POPL	1977	DBLP DOI BibTeX RDF
12	Edmund M. Clarke	Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems.	POPL	1977	DBLP DOI BibTeX RDF
12	Theo M. V. Janssen, Peter van Emde Boas	On the Proper Treatment or Referencing, Dereferencing and Assignment.	ICALP	1977	DBLP DOI BibTeX RDF
12	Robert Meersman, Grzegorz Rozenberg	Two-Level Meta-Controlled Substitution Grammars.	MFCS	1977	DBLP DOI BibTeX RDF
12	W. Baron	Zur trigonometrischen Interpolation.	Computing	1976	DBLP DOI BibTeX RDF
12	W. Riha, K. R. James	Algorithm 29 efficient algorithms for doubly and multiply restricted partitions.	Computing	1976	DBLP DOI BibTeX RDF
12	David B. Loveman	Program Improvement by Source to Source Transformation.	POPL	1976	DBLP DOI BibTeX RDF	Program improvement, Optimization, Compilation, Source-to-source transformation, Program manipulation
12	Alan P. Batson, A. Wayne Madison	Measurements of major locality phases in symbolic reference strings.	SIGMETRICS	1976	DBLP DOI BibTeX RDF	Reference strings, Locality, Memory management, Program behavior
12	Rainer E. Burkard, H. Enge	Algorithmus 25 Verfahren zur gemischt-ganzzahligen, konvexen Optimierung.	Computing	1975	DBLP DOI BibTeX RDF
12	Bernhard Ziegler	Inversion einer im allgemeinen nicht positiv definiten symmetrischen Matrix.	Computing	1975	DBLP DOI BibTeX RDF
12	Edith Deak, M. Shimasaki, J. Schwartz	MIDL: a hybrid language of medium level.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
12	I. V. Vel'bitskiy	Metalanguage for formal definition of semantics of programming languages.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
12	D. M. Symes	New Control Structures to Aid Gotolessness.	POPL	1975	DBLP DOI BibTeX RDF
12	John E. Hopcroft, Robert Endre Tarjan	Efficient Planarity Testing.	J. ACM	1974	DBLP DOI BibTeX RDF
12	Manfred Heidt	Die numerische Lösung linearer Differentialgleichungen zweiter Ordnung mit konstanten Koeffizienten.	Computing	1974	DBLP DOI BibTeX RDF
12	Klaus Pasedach	Ein Verfahren zur schnellen Approximation von Summen mit vielen Summanden.	Computing	1974	DBLP DOI BibTeX RDF
12	David Pager	On Eliminating Unit Productions from LR(k) Parsers.	ICALP	1974	DBLP DOI BibTeX RDF
12	Wolfgang K. Giloi, José L. Encarnação	APLG-An APL based system for interactive computer graphics.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
12	Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong	Procedure Linkage Optimization.	POPL	1973	DBLP DOI BibTeX RDF
12	James H. Morris Jr.	Types are Not Sets.	POPL	1973	DBLP DOI BibTeX RDF
12	Alice E. Fischer, Michael J. Fischer	Mode Modules as Representations of Domains.	POPL	1973	DBLP DOI BibTeX RDF
12	Franz Geiselbrechtinger, Wolfgang Hesse, Bernd Krieg, H. Scheidig	L0, the Basic Layer of the Wide Spectrum Language L.	GI Jahrestagung	1973	DBLP DOI BibTeX RDF
12	Donald I. Good, Ralph L. London	Computer Interval Arithmetic: Definition and Proof of Correct Implementation.	J. ACM	1970	DBLP DOI BibTeX RDF
12	Helmuth Späth	Exponential spline interpolation.	Computing	1969	DBLP DOI BibTeX RDF
12	Gerhard Zielke	Inversion of Modified Symmetric Matrices.	J. ACM	1968	DBLP DOI BibTeX RDF
12	Stephen H. Unger	A global parser for context-free phrase structure grammars.	Commun. ACM	1968	DBLP DOI BibTeX RDF	syntax-directed compiler, translators, context-free grammars, parser, syntactic analysis
12	Erwin A. Hauck, Benjamin A. Dent	Burroughs' B6500/B7500 stack mechanism.	AFIPS Spring Joint Computing Conference	1968	DBLP DOI BibTeX RDF
12	Ellen R. Clark	On the automatic simplification of source-language programs.	Commun. ACM	1967	DBLP DOI BibTeX RDF
12	Rudolf Bayer, David Gries, Manfred Paul 0001, Hans-Rüdiger Wiehle	The ALCOR Illinois 7090/7094 post mortem dump.	Commun. ACM	1967	DBLP DOI BibTeX RDF