The following pages link to ALGOL 68 (Q13966):
Displaying 50 items.
- Comparing time integrators for parabolic equations in two space dimensions with a mixed derivative (Q599489) (← links)
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- A denotational semantics for shared-memory parallelism and nondeterminism (Q792754) (← links)
- The insensitivity theorem for nonreducing reflexive types (Q792755) (← links)
- Towards a programming language based on the notion of two-level grammar (Q795514) (← links)
- Practical LL(1)-based parsing of van Wijngaarden grammars (Q797298) (← links)
- The axiomatic semantics of programs based on Hoare's logic (Q800712) (← links)
- REDUCE and the bifurcation of limit cycles (Q915468) (← links)
- Programs as proofs: A synopsis (Q1051424) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- A foundation for conceptual data structures by cylindric and partial algebras (Q1094154) (← links)
- Automatically replacing indices into parallel arrays with pointers to records (Q1123591) (← links)
- Unification theory (Q1124375) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- Remarks on R. D. Tennent's ''Language design methods based on semantic principles: Algol 68, a language designed using semantic principles'' (Q1134511) (← links)
- Finding linear and circular sequences of minimal and maximal total adjacency (Q1137873) (← links)
- Programming language ALGOL 68 (Q1140980) (← links)
- Formula manipulation in ALGOL 68 and application to Routh's algorithm (Q1141184) (← links)
- Uniqueness of coercions in ALGOL 68 (Q1142569) (← links)
- On parsing two-level grammars (Q1143815) (← links)
- Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks (Q1143818) (← links)
- Parallelism and synchronization in two-level metacontrolled substitution grammars (Q1144382) (← links)
- Methods and means of parallel processing of information (Q1155954) (← links)
- Some primitives for the portable programming of array and vector processors (Q1157697) (← links)
- Stability of linear multistep methods on the imaginary axis (Q1157883) (← links)
- The formal power of one-visit attribute grammars (Q1157968) (← links)
- Floyd's principle, correctness theories and program equivalence (Q1158948) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- Two series representations of the integral \(\int_ 0^\infty \exp[- s(\psi + y \cos\psi - z \sin\psi)] d\psi\) (Q1164370) (← links)
- Universal grammars (Q1170039) (← links)
- Abstract data types and algebraic semantics of programming languages (Q1171877) (← links)
- Informatik 1. Ein einführende Übersicht. (Computer science 1. An introductory survey.) (Q1188803) (← links)
- A ''yo-yo'' parsing algorithm for a large class of van Wijngaarden grammars (Q1203603) (← links)
- More comments on the programming language Pascal (Q1214259) (← links)
- On procedures as open subroutines. II (Q1216944) (← links)
- Attributed translations (Q1218732) (← links)
- SEMANOL (73), a metalanguage for programming the semantics of programming languages (Q1219158) (← links)
- A fast compacting garbage collector (Q1223146) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- A space-saving technique for assigning ALGOL 68 multiple values (Q1229745) (← links)
- An optimized translation process and its application to ALGOL 68 (Q1230504) (← links)
- Formula manipulations solving linear ordinary differential equations. II (Q1231388) (← links)
- Identification process and compiler structure with the ALGOL-68 language (Q1235969) (← links)
- The ELL(1) parser generator and the error recovery mechanism (Q1243137) (← links)
- The design of a portable programming language (Q1244809) (← links)
