ALGOL 60
From MaRDI portal
Cited in
(only showing first 100 items - show all)- A method for the computation of bounds with convergence of arbitrary order for ordinary linear boundary value problems
- Computation, hypercomputation, and physical science
- Time required for garbage collection in retention block-structured languages
- Ambiguity and precedence in syntax description
- Adaptive Numerical Differentiation
- Sequence-to-sequence recursiveness
- scientific article; zbMATH DE number 3551930 (Why is no real title available?)
- Bounds on differences of adjacent zeros of Bessel functions and iterative relations between consecutive zeros
- Modularity and reusability in attribute grammars
- Mixed language programming
- The genesis and early developments of Aitken's process, Shanks' transformation, the \(\varepsilon\)-algorithm, and related fixed point methods
- Syntactic operators on full semiAFLs
- A characterization of semilinear sets
- Resolution of ambiguity in parsing
- AFL with the semilinear property
- Solving linear systems on a vector computer
- Attributed translations
- On the Petri net realization of context-free graphs
- Report on the algorithmic language ALGOL by the ACM committee on programming languages and the GAMM committee on programming
- Report on the algorithmic language Algol 60
- Application of the method of the kernel function for solving boundary- value problems
- Handbook series Special functions. Algorithms for special functions. I
- Expressive power of typed and type-free programming languages
- An algorithm with ALGOL 60 program for the computation of the zeros of ordinary Bessel functions and those of their derivatives
- Peter J. Landin (1930--2009)
- The complexity of the satisfiability problem for Krom formulas
- The size of LALR (1) parsers
- An algorithm for the computation of the exponential spline
- Zur Elimination von Prozedurschachtelungen
- Theoretical properties and numerical tests of an efficient nonlinear decomposition algorithm
- scientific article; zbMATH DE number 3716659 (Why is no real title available?)
- A new pivoting strategy for Gaussian elimination
- Formalization in program development
- scientific article; zbMATH DE number 3273622 (Why is no real title available?)
- Procedures, parameters, and abstraction: Separate concerns
- Extended regular expressions of star degree at most two
- The equivalence problem for deterministic MSO tree transducers is decidable
- Formula manipulations solving linear ordinary differential equations. II
- Über zwei Algorithmen zur Interpolation mit rationalen Funktionen
- On procedures as open subroutines. II
- The semantics of second-order lambda calculus
- Substitution expressions
- scientific article; zbMATH DE number 3858442 (Why is no real title available?)
- scientific article; zbMATH DE number 3438410 (Why is no real title available?)
- scientific article; zbMATH DE number 2021769 (Why is no real title available?)
- Modular tree transducers
- Extended automata-like regular expressions of star degree at most (2,1)
- Operational semantics: concepts and their expression
- A useful device for showing the solvability of some decision problems
- Rational relations having a rational trace on each finite intersection of rational relations
- Characteristics of graph languages generated by edge replacement
- Bi-inductive structural semantics
- A functional programming approach to the specification and verification of concurrent systems
- Computing the real zeros of cylinder functions and the roots of the equation \(x{\mathcal C}_{\nu}'(x)+\gamma{\mathcal C}_{\nu}(x)=0\).
- Radial transport in a porous medium with Dirichlet, Neumann and Robin-type inhomogeneous boundary values and general initial data: analytical solution and evaluation
- scientific article; zbMATH DE number 3177072 (Why is no real title available?)
- The formal termination problem for programs with finite ALGOL 68-modes
- A statistical model of roundoff error for varying length floating-point arithmetic
- Graph expressions and graph rewritings
- Order-convergence and iterative interval methods
- An extension to ALGOL for manipulating formulae
- A method for proving programming languages non context-free
- Grammar semantics, analysis and parsing by abstract interpretation
- Pair grammars, graph languages and string-to-graph translations
- scientific article; zbMATH DE number 3235679 (Why is no real title available?)
- A syntactic theory of sequential state
- A Note on Solid Partitions
- scientific article; zbMATH DE number 49831 (Why is no real title available?)
- Efficient LR(1) parsers
- An Introduction to Statistical Programming
- A constraint-based region inference algorithm
- An algorithm for the computation of zeros of a special class of entire functions
- A note on Parikh maps, abstract languages, and decision problems
- Computable error bounds for nonlinear programming
- A theorem on generalizations of proofs
- Bounded AFLs
- Porous invariants
- Bounded languages described by GF(2)-grammars
- scientific article; zbMATH DE number 3768792 (Why is no real title available?)
- Ein ALGOL-Programm für die Behandlung der Neutronenstreuung eines Flüssigkeitsszintillators nach der Monte-Carlo-Methode
- Finite automata with multiplication
- A universal compiler system based on production rules
- Langages algébriques, paires iterantes et transductions rationnelles
- On global optimization using interval arithmetic
- ALGOL 60 confidential
- Correctness of parallel programs: The Church-Rosser approach
- Interpolazione e smoothing mono e bidimensionali relativi ad operatori differenziali lineari
- Elementary data structures in ALGOL-like languages
- Limited automata and unary languages
- Annotated bibliography on partial evaluation and mixed computation
- Single-tape reset machines
- New techniques for proving the decidability of equivalence problem
- Fehlerabschätzung reeller Eigenwerte und Eigenvektoren von Matrizen
- Intervallmäßige Auswertung von Standardfunktionen in ALGOL-60
- The design of the GIER ALGOL compiler Part I
- Observations about bounded languages and developmental systems
- Hardware/software co-design then and now
- Ackermann's function: A study in the efficiency of calling procedures
- A pumping lemma for output languages of macro tree transducers
- Language equations
This page was built for software: ALGOL 60
