ALGOL 68
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Programs as proofs: A synopsis
- An algebraic semantics approach to the effective resolution of type equations
- A foundation for conceptual data structures by cylindric and partial algebras
- Automatically replacing indices into parallel arrays with pointers to records
- Unification theory
- Polymorphic syntax definition
- The formal termination problem for programs with finite ALGOL 68-modes
- Remarks on R. D. Tennent's Language design methods based on semantic principles: Algol 68, a language designed using semantic principles
- Finding linear and circular sequences of minimal and maximal total adjacency
- Programming language ALGOL 68
- Formula manipulation in ALGOL 68 and application to Routh's algorithm
- Uniqueness of coercions in ALGOL 68
- On parsing two-level grammars
- Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
- Parallelism and synchronization in two-level metacontrolled substitution grammars
- Methods and means of parallel processing of information
- Some primitives for the portable programming of array and vector processors
- Stability of linear multistep methods on the imaginary axis
- The formal power of one-visit attribute grammars
- Floyd's principle, correctness theories and program equivalence
- The IO- and OI-hierarchies
- On termination problems for finitely interpreted ALGOL-like programs
- Two series representations of the integral \(\int_ 0^\infty \exp[- s(\psi + y \cos\psi - z \sin\psi)] d\psi\)
- Universal grammars
- Abstract data types and algebraic semantics of programming languages
- Informatik 1. Ein einführende Übersicht. (Computer science 1. An introductory survey.)
- A yo-yo parsing algorithm for a large class of van Wijngaarden grammars
- More comments on the programming language Pascal
- On procedures as open subroutines. II
- Attributed translations
- SEMANOL (73), a metalanguage for programming the semantics of programming languages
- A fast compacting garbage collector
- Language design methods based on semantic principles
- A space-saving technique for assigning ALGOL 68 multiple values
- An optimized translation process and its application to ALGOL 68
- Formula manipulations solving linear ordinary differential equations. II
- Identification process and compiler structure with the ALGOL-68 language
- The ELL(1) parser generator and the error recovery mechanism
- The design of a portable programming language
- The report on the standard hardware representation for ALGOL 68
- Classes of formal grammars
- A theory of type polymorphism in programming
- Counter-one-pass features in one-pass compilation: A formalization using attribute grammars
- One-step splitting methods for semi-discrete parabolic equations
- Fixed-point constructions in order-enriched categories
- Model discrimination using an algorithmic information criterion
- Hopscotch
- Ultra-high precision computations
- MATHLAB
- Computer science. An introduction. Part 3: Structures of systems and assembler programming
- Modularity and reusability in attribute grammars
- Application of mixed language programming
- SIMSCRIPT
- APL
- On a notational device for the description of pointer-free operations on structured data
- FORMAC
- Generalized overlap resolvable grammars and their parsers
- MGOO
- Modula
- COBOL
- Ada95
- ISDL
- Optimal file allocation in a loop topology local area network
- Critical comments on the programming language Pascal
- Fifty years of Hoare's logic
- Report on the algorithmic language ALGOL 68
- Representation and equality of modes
- A context-free syntax of ALGOL 68
- A note on infinite trees
- Relational level data structures for programming languages
- Orthogonal parallel processing in Vector Pascal
- scientific article; zbMATH DE number 3425105 (Why is no real title available?)
- scientific article; zbMATH DE number 3425106 (Why is no real title available?)
- scientific article; zbMATH DE number 3881852 (Why is no real title available?)
- scientific article; zbMATH DE number 3885193 (Why is no real title available?)
- Transformations and reduction strategies for typed lambda expressions
- Simula 67
- Guarded and unguarded coroutines: An implementation in BCPL
- Mixed language programming
- scientific article; zbMATH DE number 3848594 (Why is no real title available?)
- A variation of van der Meulen diagrams for array manipulation
- scientific article; zbMATH DE number 3854312 (Why is no real title available?)
- scientific article; zbMATH DE number 3868579 (Why is no real title available?)
- ALGOL 60
- An implementation of Algol 68 for a small computer
- scientific article; zbMATH DE number 3812948 (Why is no real title available?)
- scientific article; zbMATH DE number 3812949 (Why is no real title available?)
- scientific article; zbMATH DE number 3821087 (Why is no real title available?)
- scientific article; zbMATH DE number 3900145 (Why is no real title available?)
- Programming Denotational Semantics II
- scientific article; zbMATH DE number 3913660 (Why is no real title available?)
- Implementing ALGOL 68 predicates
- Side effects and aliasing can have simple axiomatic descriptions
- scientific article; zbMATH DE number 3926080 (Why is no real title available?)
- scientific article; zbMATH DE number 3936483 (Why is no real title available?)
- scientific article; zbMATH DE number 3963096 (Why is no real title available?)
- scientific article; zbMATH DE number 3967884 (Why is no real title available?)
- The number of limit cycles of certain polynomial differential equations
- scientific article; zbMATH DE number 3978350 (Why is no real title available?)
- PL/I
This page was built for software: ALGOL 68
