ALGOL 60 - MaRDI portal

Cited in

(only showing first 100 items - show all)

Least and greatest solutions of equations over sets of integers
Two iteration theorems for some families of languages
scientific article; zbMATH DE number 3776895 (Why is no real title available?)
scientific article; zbMATH DE number 3787988 (Why is no real title available?)
Bounded context switching for valence systems
scientific article; zbMATH DE number 3313194 (Why is no real title available?)
scientific article; zbMATH DE number 3313195 (Why is no real title available?)
scientific article; zbMATH DE number 3313196 (Why is no real title available?)
scientific article; zbMATH DE number 3326106 (Why is no real title available?)
Mappings and grammars on trees
Random matroids
Parsing Boolean grammars over a one-letter alphabet using online convolution
A program for numerical classification
Data structure and storage allocation
Output driven interpretation of recursive programs, or writing creates and destroys data structures
PASCAL in LCF: Semantics and examples of proof
Two-sided context specifications in formal grammars
scientific article; zbMATH DE number 7104930 (Why is no real title available?)
A simple P-complete problem and its language-theoretic representations
Bi-inductive structural semantics
A complete refinement procedure for regular separability of context-free languages
Multipass precedence analysis
Porous invariants
Bounded languages described by GF(2)-grammars
scientific article; zbMATH DE number 3439964 (Why is no real title available?)
scientific article; zbMATH DE number 3439965 (Why is no real title available?)
The complexity of the satisfiability problem for Krom formulas
scientific article; zbMATH DE number 3329487 (Why is no real title available?)
scientific article; zbMATH DE number 3332549 (Why is no real title available?)
scientific article; zbMATH DE number 3332899 (Why is no real title available?)
scientific article; zbMATH DE number 3331287 (Why is no real title available?)
scientific article; zbMATH DE number 3336372 (Why is no real title available?)
scientific article; zbMATH DE number 3338168 (Why is no real title available?)
scientific article; zbMATH DE number 3345161 (Why is no real title available?)
scientific article; zbMATH DE number 3346085 (Why is no real title available?)
Efficient LR(1) parsers
On the correctness of the Krivine machine
Procedures, parameters, and abstraction: Separate concerns
Counter machines and verification problems.
Unambiguous Boolean grammars
Counting productions in context-free derivations
scientific article; zbMATH DE number 3341170 (Why is no real title available?)
Region-based memory management
A unified language processing methodology
scientific article; zbMATH DE number 3278025 (Why is no real title available?)
A Note on Solid Partitions
A partial ordering of some of the elements of Algol
A floating-point technique for extending the available precision
Observations about bounded languages and developmental systems
Ambiguity and precedence in syntax description
Sequence-to-sequence recursiveness
A combined symbolic and numerical algorithm for the computation of zeros of orthogonal polynomials and special functions
Resolution of ambiguity in parsing
scientific article; zbMATH DE number 3433464 (Why is no real title available?)
The remaining trouble spots in ALGOL 60
Macro tree transducers
Applications of graph theory in computer systems
VDM semantics of programming languages: Combinators and monads
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
Some decision problems concerning sequential transducers and checking automata
Computable error bounds for nonlinear programming
scientific article; zbMATH DE number 3446376 (Why is no real title available?)
scientific article; zbMATH DE number 3449731 (Why is no real title available?)
scientific article; zbMATH DE number 5605965 (Why is no real title available?)
Die Algorithmische Sprache ALGOL 60, an Beispielen erläutert
Unterprogrammtechnik und algorithmische Sprachen
An Introduction to ALGOL 60
scientific article; zbMATH DE number 3352762 (Why is no real title available?)
Kernels of sub-classes of context-free languages
scientific article; zbMATH DE number 3354615 (Why is no real title available?)
scientific article; zbMATH DE number 3359767 (Why is no real title available?)
scientific article; zbMATH DE number 3361231 (Why is no real title available?)
scientific article; zbMATH DE number 3366510 (Why is no real title available?)
The design of the GIER ALGOL compiler Part I
Conjunctive grammars with restricted disjunction
On computer generation of balanced arrays
Eliminating the storage tape in reachability constructions.
scientific article; zbMATH DE number 3999254 (Why is no real title available?)
From Algol to polymorphic linear lambda-calculus
The transformation calculus
Structural operational semantics through context-dependent behaviour
Critical comments on the programming language Pascal
Learning semilinear sets from examples and via queries
scientific article; zbMATH DE number 3398651 (Why is no real title available?)
Practical aspects of interval computation
SOAP--A program which documents and edits ALGOL 60 programs
scientific article; zbMATH DE number 3241725 (Why is no real title available?)
Some restrictions onW-grammars
scientific article; zbMATH DE number 3727584 (Why is no real title available?)
Modified Report on the Algorithmic Language ALGOL 60
Separability of rational relations in A^* N^m by recognizable relations is decidable
An algorithm defining ALGOL assignment statements
Allocation of storage for arrays in ALGOL 60
Comments on the implementation of recursive procedures and blocks in ALGOL 60
A string language for symbol manipulation based on ALGOL 60
Implementation of ALGOL 60 for the English Electric KDF9
Letters to the editor
Some proposals for improving the efficiency of ALGOL 60
ABS12 ALGOL: An Extension to Algol 60 for Industrial Use

This page was built for software: ALGOL 60