ALGOL 60
From MaRDI portal
Software:33608
swMATH21807WikidataQ1209759 ScholiaQ1209759MaRDI QIDQ33608FDOQ33608
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Observations about bounded languages and developmental systems
- The remaining trouble spots in ALGOL 60
- Applications of graph theory in computer systems
- The design of the GIER ALGOL compiler Part I
- Some decision problems concerning sequential transducers and checking automata
- Title not available (Why is that?)
- Some restrictions onW-grammars
- Title not available (Why is that?)
- Generalization learning techniques for automating the learning of heuristics
- A guided tour of the mathematics of MetaSoft '88
- Datalogy - the Copenhagen tradition of computer science
- Title not available (Why is that?)
- Limited automata and unary languages
- Das <scp>Kahan‐Babuškasche</scp> Summierungsverfahren in Triplex‐ ALGOL 60
- Title not available (Why is that?)
- On some transformations in context-free grammars and languages
- Substitution and bounded languages
- Static procedure identification in compilers for Algol-type languages
- Bounded AFLs
- Interpolazione e smoothing mono e bidimensionali relativi ad operatori differenziali lineari
- Automatic optimization of Symbolic Algol programs. I: Gneral principles
- Coroutine sequencing in a block structured environment
- Recursive data structures
- Ein ALGOL-Programm für die Behandlung der Neutronenstreuung eines Flüssigkeitsszintillators nach der Monte-Carlo-Methode
- Langages algébriques, paires iterantes et transductions rationnelles
- Formal description of context conditions of ALGOL 60
- Introduction of FORMULA type into ALGOL 60
- Programming language ALGOL 68
- Title not available (Why is that?)
- Compilation of an extension of ALGOL
- Interdependent translation schemes
- Einschließung von Nullstellen mit Hilfe einer Intervallarithmetik
- Die Berechnung von Schranken für den Wertebereich eines Polynoms in einem Intervall
- ALGOL-Prozeduren für zwei Verfahren zur Suche negativer Zyklen in bewerteten Digraphen
- Title not available (Why is that?)
- Programme zum Zeichnen von allgemeinen Flächenstücken
- ALGOL-60 Algorithmen zur Auflösung linearer Gleichungssysteme mit Fehlererfassung
- SR(s,k) parsers: A class of shift-reduce bounded-context parsers
- Generalization of the Ginsburg-Rice Schuetzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages
- Hierarchical development of programming languages
- Hardware/software co-design then and now
- An efficient matrix algorithm for the calculation of the gradient of the conformational energy of polymer chains
- Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
- On global optimization using interval arithmetic
- ALGOL 60 confidential
- The algorithmic language Triplex-ALGOL 60
- A method for transforming grammars into LL(k) form
- Ackermann's function: A study in the efficiency of calling procedures
- Eigenvectors of real and complex matrices by LR and QR triangularizations
- Bounds for the norm of certain spline projections
- An introduction to ALGOL
- Finite automata with multiplication
- Correctness of parallel programs: The Church-Rosser approach
- Single-tape reset machines
- An algorithm for the computation of zeros of a special class of entire functions
- A note on Parikh maps, abstract languages, and decision problems
- Fehlerabschätzung reeller Eigenwerte und Eigenvektoren von Matrizen
- Intervallmäßige Auswertung von Standardfunktionen in ALGOL-60
- Operating Experience with ALGOL 60
- A pumping lemma for output languages of macro tree transducers
- Two iteration theorems for the LL(k) languages
- Two iteration theorems for some families of languages
- Parsing Boolean grammars over a one-letter alphabet using online convolution
- A simple P-complete problem and its language-theoretic representations
- A complete refinement procedure for regular separability of context-free languages
- Counter machines and verification problems.
- Unambiguous Boolean grammars
- A floating-point technique for extending the available precision
- From Algol to polymorphic linear lambda-calculus
- Title not available (Why is that?)
- Practical aspects of interval computation
- Conjunctive grammars with restricted disjunction
- Structural operational semantics through context-dependent behaviour
- Title not available (Why is that?)
- Unary context-free grammars and pushdown automata, descriptional complexity and auxiliary space lower bounds.
- The origins of structural operational semantics
- Deciding determinism of unary languages
- Semantical analysis of specification logic
- Algorithm AS 255: Fitting of Two-Way Tables by Means for Rows, Columns and Cross-Term
- Verification in loosely synchronous queue-connected discrete timed automata.
- Multitape NFA: Weak Synchronization of the Input Heads
- Computational interpretations of linear logic
- Instruction sequence processing operators
- Weakly complete axiomatization of exogenous quantum propositional logic
- \(L(A)=L(B)\)? decidability results from complete formal systems
- Parikh's theorem and descriptional complexity
- Computational methods of linear algebra
- The ring of \(k\)-regular sequences
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- IO and OI. II
- CAMAL 40 Years on – Is Small Still Beautiful?
- An observationally complete program logic for imperative higher-order functions
- The computation of three-dimensional rolling contact with dry friction
- Forward analysis and model checking for trace bounded WSTS
- Title not available (Why is that?)
- The equational logic of fixed points
- A theory for nondeterminism, parallelism, communication, and concurrency
- Equations over sets of integers with addition only
- A Divide and Conquer method for the symmetric tridiagonal eigenproblem
- Bounded underapproximations
This page was built for software: ALGOL 60
