On the public citation graph

Report on the Algorithmic Language ALGOL 68

https://doi.org/10.1007/bf02163002
0 signed · 255 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/j.1538-7305.1975.tb03302.xopenalex-snapshot
Safeguard Data-Processing System: CENTRAN-A Case History in Extendible Language Design
inferred← citeshttps://doi.org/10.1002/spe.4380020103openalex-snapshot
Practical experience with algol 68
inferred← citeshttps://doi.org/10.1002/spe.4380040103openalex-snapshot
The mobile programming system, Janus
inferred← citeshttps://doi.org/10.1002/spe.4380040211openalex-snapshot
The definition of comments in programming languages
inferred← citeshttps://doi.org/10.1002/spe.4380040320openalex-snapshot
Informal introduction to ALGOL 68, C. H. Lindsey and S. G. van der Meulen. North‐Holland, Amsterdam, 1971. No. of pages: 382. Price: £ 7·00. Also available in paperback
inferred← citeshttps://doi.org/10.1002/spe.4380050306openalex-snapshot
Discrete event simulation in algol 68
inferred← citeshttps://doi.org/10.1002/spe.4380060105openalex-snapshot
Graph plotting in ALGOL 68‐R
inferred← citeshttps://doi.org/10.1002/spe.4380060112openalex-snapshot
Experiments with the kronos control language
inferred← citeshttps://doi.org/10.1002/spe.4380060306openalex-snapshot
The design of a real‐time operating system for a minicomputer. part II
inferred← citeshttps://doi.org/10.1002/spe.4380070304openalex-snapshot
System implementation in Algol 68‐R
inferred← citeshttps://doi.org/10.1002/spe.4380070604openalex-snapshot
Ambiguities and insecurities in pascal
inferred← citeshttps://doi.org/10.1002/spe.4380130704openalex-snapshot
An implementation of Algol 68 for a small computer
inferred← citeshttps://doi.org/10.1002/spe.4380240102openalex-snapshot
Using the programming walkthrough to aid in programming language design
inferred← citeshttps://doi.org/10.1002/spe.454openalex-snapshot
A safe variant of the unsafe integer arithmetic of Java™
inferred← citeshttps://doi.org/10.1002/spe.917openalex-snapshot
Reusable specification modules for type analysis
inferred← citeshttps://doi.org/10.1007/3-540-06473-7_17openalex-snapshot
Zur Charakterisierung von Dialogsprachen
inferred← citeshttps://doi.org/10.1007/3-540-06473-7_18openalex-snapshot
Modularität Durch ‚Konzeptklassen‘
inferred← citeshttps://doi.org/10.1007/3-540-06473-7_19openalex-snapshot
L0, the basic layer of the wide spectrum language L
inferred← citeshttps://doi.org/10.1007/3-540-06666-7_39openalex-snapshot
Zum Begriff Der Modularität Von Programmiersprachen
inferred← citeshttps://doi.org/10.1007/3-540-06666-7_52openalex-snapshot
Alsi — Eine Höhere Programmiersprache Zur Transformation Von Algol 68-Verbunden In Simula-Klassen
inferred← citeshttps://doi.org/10.1007/3-540-06666-7_56openalex-snapshot
Ein Vergleich Von Prozess-Kontroll-Sprachen Als Basis Für Den Normungsvorschlag Einer Internationalen Prozessrechnersprache
inferred← citeshttps://doi.org/10.1007/3-540-06786-8_290openalex-snapshot
SL3 — Eine maschinenorientierte Programmiersprache auf ALGOL68-Basis
inferred← citeshttps://doi.org/10.1007/3-540-06841-4_48openalex-snapshot
The generative power of two-level grammars
inferred← citeshttps://doi.org/10.1007/3-540-06859-7_144openalex-snapshot
A model for structured parallel processing in block-structured programming languages
inferred← citeshttps://doi.org/10.1007/3-540-06859-7_148openalex-snapshot
Towards a theory of type structure
inferred← citeshttps://doi.org/10.1007/3-540-07131-8_27openalex-snapshot
Systemprogrammiersprachen und strukturiertes Programmieren
inferred← citeshttps://doi.org/10.1007/3-540-07141-5_216openalex-snapshot
Das Problem der ‘unendlichen Modi’ in ALGOL 68
inferred← citeshttps://doi.org/10.1007/3-540-07141-5_232openalex-snapshot
Über Die Lebensdauer Von Prozessen In Nichtsequentiellen Algorthmen
inferred← citeshttps://doi.org/10.1007/3-540-07168-7_73openalex-snapshot
Language characteristics programming languages as a tool in writing system software
inferred← citeshttps://doi.org/10.1007/3-540-07168-7_78openalex-snapshot
Portability and adaptabilty
inferred← citeshttps://doi.org/10.1007/3-540-07407-4_29openalex-snapshot
Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?
inferred← citeshttps://doi.org/10.1007/3-540-08065-1_12openalex-snapshot
A simple translation automaton allowing the generation of optimized code
inferred← citeshttps://doi.org/10.1007/3-540-08065-1_20openalex-snapshot
On the macro extension of programming languages
inferred← citeshttps://doi.org/10.1007/3-540-08138-0_8openalex-snapshot
Grobstrukturen für kontextfreie Grammatiken
inferred← citeshttps://doi.org/10.1007/3-540-08353-7_160openalex-snapshot
Two-level meta-controlled substitution grammars
inferred← citeshttps://doi.org/10.1007/3-540-08446-0_39openalex-snapshot
Writing the elementary function procedures for the ALGOL68C compiler
inferred← citeshttps://doi.org/10.1007/3-540-09510-1_43openalex-snapshot
An axiomatic treatment of ALGOL 68 routines
inferred← citeshttps://doi.org/10.1007/3-540-09541-1_34openalex-snapshot
On a uniform formal description of data structures
inferred← citeshttps://doi.org/10.1007/3-540-10291-4_4openalex-snapshot
Set-theoretic concepts in programming languages and their implementation
inferred← citeshttps://doi.org/10.1007/3-540-10574-3openalex-snapshot
Directions in Human Factors for Interactive Systems
inferred← citeshttps://doi.org/10.1007/3-540-13883-8_75openalex-snapshot
Persistent first class procedures are enough
inferred← citeshttps://doi.org/10.1007/3-540-29595-x_8openalex-snapshot
Eine Technik zur Konstruktion sicherer und zuverlässiger Echtzeitsysteme
inferred← citeshttps://doi.org/10.1007/3-540-52592-0_53openalex-snapshot
Types in lambda calculi and programming languages
inferred← citeshttps://doi.org/10.1007/3-540-62064-8_6openalex-snapshot
The making of Algol 68
inferred← citeshttps://doi.org/10.1007/3540069585_45openalex-snapshot
Compiler Construction
inferred← citeshttps://doi.org/10.1007/3540069585_51openalex-snapshot
Two-Level Grammars
inferred← citeshttps://doi.org/10.1007/3540069585_53openalex-snapshot
Relationship of Languages to Machines
inferred← citeshttps://doi.org/10.1007/3540069585_54openalex-snapshot
Run-Time Storage Management
inferred← citeshttps://doi.org/10.1007/3540069585_55openalex-snapshot
Special Run-Time Organization Techniques for Algol 68
inferred← citeshttps://doi.org/10.1007/978-1-4471-3431-2_5openalex-snapshot
Concurrent and Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-1-4612-4118-8_1openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/978-1-4612-4118-8_11openalex-snapshot
Syntactic Control of Interference
inferred← citeshttps://doi.org/10.1007/978-1-4612-5979-4_4openalex-snapshot
Abstraction and Verification in Alphard: Introduction to Language and Methodology
inferred← citeshttps://doi.org/10.1007/978-1-4899-3797-1_1openalex-snapshot
A
inferred← citeshttps://doi.org/10.1007/978-3-030-54997-8_2openalex-snapshot
The School of Squiggol
inferred← citeshttps://doi.org/10.1007/978-3-540-24773-9_3openalex-snapshot
An ALGOL-View on Turbo ASM
inferred← citeshttps://doi.org/10.1007/978-3-540-75221-9_19openalex-snapshot
On Revival of Algol-Concepts in Modern Programming and Specification Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-51136-3_44openalex-snapshot
Missed Opportunities in Real Time Programming ?
inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_6openalex-snapshot
The Napier88 Persistent Programming Language and Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-65586-9_19openalex-snapshot
Programmierung digitaler Datenverarbeitungssysteme
inferred← citeshttps://doi.org/10.1007/978-3-642-66005-4_6openalex-snapshot
Begriffliche Grundlagen der Programmierung
inferred← citeshttps://doi.org/10.1007/978-3-642-66319-2_2openalex-snapshot
Anwendung der Axiomatischen Definitionsmethode Auf Höhere Programmiersprachen
inferred← citeshttps://doi.org/10.1007/978-3-642-66319-2_9openalex-snapshot
Einige Eigenschaften der Programmiersprache BALG
inferred← citeshttps://doi.org/10.1007/978-3-642-66400-7_13openalex-snapshot
A General Purpose Array with a Broad Spectrum of Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-67444-0_17openalex-snapshot
Automatic Determination of Data Flow in Extended Affix Grammars
inferred← citeshttps://doi.org/10.1007/978-3-642-76828-6_6openalex-snapshot
Architektonische Leitideen für Systeme
inferred← citeshttps://doi.org/10.1007/978-3-642-80718-3_7openalex-snapshot
AIDA, Ein Dialogsystem und Seine Implementierung in Algol
inferred← citeshttps://doi.org/10.1007/978-3-642-80718-3_9openalex-snapshot
Überblick Über die ALGOL 68—Implementierung an der TU München
inferred← citeshttps://doi.org/10.1007/978-3-642-80732-9_12openalex-snapshot
A Hierarchy of Control Structures
inferred← citeshttps://doi.org/10.1007/978-3-642-81110-4_1openalex-snapshot
Basic Notions of Informatics
inferred← citeshttps://doi.org/10.1007/978-3-642-81110-4_5openalex-snapshot
Language Interface
inferred← citeshttps://doi.org/10.1007/978-3-642-96069-7_2openalex-snapshot
Begriffliche Grundlagen der Programmierung
inferred← citeshttps://doi.org/10.1007/978-3-642-96078-9_2openalex-snapshot
Hintergrundspeicher und Verkehr mit der Außenwelt, Grundprogramme
inferred← citeshttps://doi.org/10.1007/978-3-642-96224-0_2openalex-snapshot
Hintergrundspeicher und Verkehr mit der Außenwelt, Grundprogramme
inferred← citeshttps://doi.org/10.1007/978-3-662-06774-1_24openalex-snapshot
Elektronische Datenverarbeitung
inferred← citeshttps://doi.org/10.1007/978-3-662-06776-5_193openalex-snapshot
Spezielle Literatur
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_8openalex-snapshot
Ambiguities and Insecurities in Pascal
inferred← citeshttps://doi.org/10.1007/978-3-662-10219-0_23openalex-snapshot
Elektronische Datenverarbeitung
inferred← citeshttps://doi.org/10.1007/978-3-662-11106-2_5openalex-snapshot
On Parallel Languages
inferred← citeshttps://doi.org/10.1007/978-3-662-21545-6_1openalex-snapshot
The Generative Power of Two-Level Grammars
inferred← citeshttps://doi.org/10.1007/978-3-662-40087-6_25openalex-snapshot
Über die Lebensdauer von Prozessen in Nichtsequentiellen Algorithmen
inferred← citeshttps://doi.org/10.1007/978-3-662-41148-3_19openalex-snapshot
Lo, The Basic Layer of the Wide Spectrum Language L
inferred← citeshttps://doi.org/10.1007/978-94-009-2727-8_8openalex-snapshot
Phrase Structure Grammar
inferred← citeshttps://doi.org/10.1007/978-94-009-3401-6_17openalex-snapshot
Computationally Relevant Properties of Natural Languages and Their Grammars
inferred← citeshttps://doi.org/10.1007/978-94-009-3401-6_8openalex-snapshot
Unbounded Dependencies and Coordinate Structure
inferred← citeshttps://doi.org/10.1007/978-94-009-7707-5_5openalex-snapshot
Phrase Structure Grammar
inferred← citeshttps://doi.org/10.1007/978-94-010-1161-7_7openalex-snapshot
A Survey of Many-Valued Logic (1966–1974)
inferred← citeshttps://doi.org/10.1007/978-94-011-3474-3_4openalex-snapshot
Empty Categories, Chain Binding, and Parsing
inferred← citeshttps://doi.org/10.1007/978-94-015-1239-8_1openalex-snapshot
A
inferred← citeshttps://doi.org/10.1007/bf00264026openalex-snapshot
On correct procedure parameter transmission in higher programming languages
inferred← citeshttps://doi.org/10.1007/bf00264290openalex-snapshot
A model for data structures and its applications. I
inferred← citeshttps://doi.org/10.1007/bf00264566openalex-snapshot
A decidability criterion for van Wijngaarden grammars
inferred← citeshttps://doi.org/10.1007/bf00265677openalex-snapshot
Two-level meta-controlled substitution grammars
inferred← citeshttps://doi.org/10.1007/bf00269810openalex-snapshot
Language design methods based on semantic principles: Algol 68, a Language Designed using Semantic Principles
inferred← citeshttps://doi.org/10.1007/bf00288636openalex-snapshot
On procedures as open subroutines. II
inferred← citeshttps://doi.org/10.1007/bf00288652openalex-snapshot
Critical comments on the programming language Pascal
inferred← citeshttps://doi.org/10.1007/bf00288728openalex-snapshot
More comments on the programming language Pascal
inferred← citeshttps://doi.org/10.1007/bf00289243openalex-snapshot
Language design methods based on semantic principles
inferred← citeshttps://doi.org/10.1007/bf00976239openalex-snapshot
Recursive data structures
inferred← citeshttps://doi.org/10.1007/bf00978977openalex-snapshot
Some restrictions onW-grammars
inferred← citeshttps://doi.org/10.1007/bf00991820openalex-snapshot
Time required for garbage collection in retention block-structured languages
inferred← citeshttps://doi.org/10.1007/bf00991939openalex-snapshot
Time required for reference count management in retention block-structured languages. Part 1
inferred← citeshttps://doi.org/10.1007/bf01070416openalex-snapshot
Development of programming languages and conversational systems in the USSR
inferred← citeshttps://doi.org/10.1007/bf01088988openalex-snapshot
Programming language ALGOL 68
inferred← citeshttps://doi.org/10.1007/bf01177548openalex-snapshot
Modularity and reusability in attribute grammars
inferred← citeshttps://doi.org/10.1007/bf01231603openalex-snapshot
Management of multidimensional discrete data
inferred← citeshttps://doi.org/10.1007/bf01231642openalex-snapshot
Orthogonally persistent object systems
inferred← citeshttps://doi.org/10.1007/bf01355585openalex-snapshot
A nucleus of a theorem-prover described inAlgol-68
inferred← citeshttps://doi.org/10.1007/bf01931683openalex-snapshot
Boolean-valued loops
inferred← citeshttps://doi.org/10.1007/bf01932305openalex-snapshot
A note on the for statement
inferred← citeshttps://doi.org/10.1007/bf01933523openalex-snapshot
Control extension in a recursive language
inferred← citeshttps://doi.org/10.1007/bf01935324openalex-snapshot
A bi-unique transformation into integers of identifiers and other variable-length items
inferred← citeshttps://doi.org/10.1007/bf02426303openalex-snapshot
String manipulation with extended Euler
inferred← citeshttps://doi.org/10.1007/bf03037123openalex-snapshot
Computationally relevant properties of natural languages and their grammars
inferred← citeshttps://doi.org/10.1007/bfb0021422openalex-snapshot
Models of data objects and data types
inferred← citeshttps://doi.org/10.1007/bfb0025725openalex-snapshot
Two-level graph grammars
inferred← citeshttps://doi.org/10.1007/bfb0029355openalex-snapshot
The specification of process synchronization by path expressions
inferred← citeshttps://doi.org/10.1007/bfb0031368openalex-snapshot
A formalism for the description of question answering systems
inferred← citeshttps://doi.org/10.1007/bfb0048944openalex-snapshot
Towards a mathematical theory of processes
inferred← citeshttps://doi.org/10.1007/bfb0052101openalex-snapshot
Contribution to Goodenough's and Gerhart's theory of software testing and verification: Relation between strong compiler test and compiler implementation verification
inferred← citeshttps://doi.org/10.1007/s00287-010-0446-2openalex-snapshot
Dijkstras fruchtbarer, folgenreicher Irrtum
inferred← citeshttps://doi.org/10.1016/0001-6918(91)90004-jopenalex-snapshot
Formal modelling techniques in human-computer interaction
inferred← citeshttps://doi.org/10.1016/0020-0190(71)90008-1openalex-snapshot
Representation and equality of modes
inferred← citeshttps://doi.org/10.1016/0020-0190(72)90005-1openalex-snapshot
A classification of extensible programming languages
inferred← citeshttps://doi.org/10.1016/0020-0190(72)90020-8openalex-snapshot
An unintentional omission from Algol 68
inferred← citeshttps://doi.org/10.1016/0020-0190(72)90047-6openalex-snapshot
A context-free syntax of algol 68
inferred← citeshttps://doi.org/10.1016/0020-0255(79)90004-5openalex-snapshot
Parallelism and synchronization in two-level metacontrolled substitution grammars
inferred← citeshttps://doi.org/10.1016/0066-4138(73)90004-9openalex-snapshot
An introduction to ALGOL 68
inferred← citeshttps://doi.org/10.1016/0096-0551(76)90009-6openalex-snapshot
Structured syntax diagrams
inferred← citeshttps://doi.org/10.1016/0096-0551(79)90018-3openalex-snapshot
Semantic specification using two-level grammars: Blocks, procedures and parameters
inferred← citeshttps://doi.org/10.1016/0096-0551(81)90045-xopenalex-snapshot
Methods for specifying static semantics
inferred← citeshttps://doi.org/10.1016/0096-0551(85)90004-9openalex-snapshot
Deriving a compiler from an operational semantics written in VDL
inferred← citeshttps://doi.org/10.1016/0096-0551(92)90023-gopenalex-snapshot
On open arrays and variable number of parameters
inferred← citeshttps://doi.org/10.1016/0167-6423(91)90009-mopenalex-snapshot
Functional description of the contextual analysis in block-structured programming languages: a case study of tree transducers
inferred← citeshttps://doi.org/10.1016/0304-3975(82)90109-8openalex-snapshot
Abstract data types and algebraic semantics of programming languages
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90070-aopenalex-snapshot
On categorical graph grammars integrating structural transformations and operations on labels
inferred← citeshttps://doi.org/10.1016/b978-0-08-017806-6.50007-9openalex-snapshot
An Introduction to ALGOL 68
inferred← citeshttps://doi.org/10.1016/b978-0-12-111155-7.50015-2openalex-snapshot
BIBLIOGRAPHY
inferred← citeshttps://doi.org/10.1016/b978-0-12-115350-2.50006-3openalex-snapshot
METHODS FOR SPECIFYING FAMILIES OF FORMAL LANGUAGES — PAST-PRESENT-FUTURE
inferred← citeshttps://doi.org/10.1016/b978-0-12-491650-0.50020-4openalex-snapshot
Reflections on the Evolution of Algorithmic Language
inferred← citeshttps://doi.org/10.1016/b978-0-12-528540-7.50006-xopenalex-snapshot
DATA DEFINITION, STRUCTURES, AND MANAGEMENT IN SCIENTIFIC COMPUTING
inferred← citeshttps://doi.org/10.1016/b978-0-12-745040-7.50008-9openalex-snapshot
ALGOL Session
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.06.007openalex-snapshot
Parameterized LR Parsing
inferred← citeshttps://doi.org/10.1016/j.nancom.2012.01.004openalex-snapshot
Molecular coordination of hierarchical self-assembly
inferred← citeshttps://doi.org/10.1016/s0019-9958(72)90217-3openalex-snapshot
Grammars with structured vocabulary: A model for the algol-68 definition
inferred← citeshttps://doi.org/10.1016/s0020-0190(03)00383-1openalex-snapshot
Operational semantics: Concepts and their expression
inferred← citeshttps://doi.org/10.1016/s0022-0000(72)80030-8openalex-snapshot
Generalized overlap resolvable grammars and their parsers
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60431-3openalex-snapshot
Three Computer Cultures: Computer Technology, Computer Mathematics, and Computer Science
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)69503-xopenalex-snapshot
Real Time Languages and Operating Systems
inferred← citeshttps://doi.org/10.1017/s0017089500003025openalex-snapshot
An algorithm for determining defining relations of a subgroup
inferred← citeshttps://doi.org/10.1017/s0022226700012846openalex-snapshot
Barbara H. Partee, Alice ter Meulen & Robert E. Wall, Mathematical methods in linguistics. (Studies in Linguistics and Philosophy, 30.) Dordrecht, Boston & London: Kluwer Academic, 1990. Pp. xx + 663.
inferred← citeshttps://doi.org/10.1017/s1062798715000381openalex-snapshot
Algorithms and Programs
inferred← citeshttps://doi.org/10.1023/a:1010022312623openalex-snapshot
Abstract Models of Storage
inferred← citeshttps://doi.org/10.1023/a:1010027404223openalex-snapshot
Definitional Interpreters for Higher-Order Programming Languages
inferred← citeshttps://doi.org/10.1080/08351818609389259openalex-snapshot
Two‐level representations for natural language
inferred← citeshttps://doi.org/10.1093/combul/15.11.537openalex-snapshot
A proposal for a ‘halfway house’ Algol
inferred← citeshttps://doi.org/10.1093/combul/16.4.11openalex-snapshot
Letters
inferred← citeshttps://doi.org/10.1093/comjnl/17.4.325openalex-snapshot
Comparative Notes on ALGOL 68 and PL/I
inferred← citeshttps://doi.org/10.1093/comjnl/25.1.63openalex-snapshot
Semantic Specification using Two-Level Grammars: Labels and GOTO Statements
inferred← citeshttps://doi.org/10.1093/comjnl/26.4.360openalex-snapshot
An Approach to Persistent Programming
inferred← citeshttps://doi.org/10.1108/eb005329openalex-snapshot
A PROPOSED MULTI‐VALUED EXTENSION TO ALGOL 68
inferred← citeshttps://doi.org/10.1109/cmpsac.1979.762490openalex-snapshot
Protel: a high level language for telephony
inferred← citeshttps://doi.org/10.1109/ipdpsw.2014.44openalex-snapshot
Bohrium: A Virtual Machine Approach to Portable Parallelism
inferred← citeshttps://doi.org/10.1109/mahc.1981.10006openalex-snapshot
Formal Languages: Origins and Directions
inferred← citeshttps://doi.org/10.1109/mahc.1990.10033openalex-snapshot
GRIN: The History of a Laboratory
inferred← citeshttps://doi.org/10.1109/mahc.2003.1179882openalex-snapshot
Sigint and automation
inferred← citeshttps://doi.org/10.1109/mahc.2003.1179892openalex-snapshot
Tribute to Edsger W. Dijkstra
inferred← citeshttps://doi.org/10.1109/secon.1989.132637openalex-snapshot
Dynamic G-based fourth normal form in relational database
inferred← citeshttps://doi.org/10.1109/sfcs.1979.19openalex-snapshot
Formal languages: Origins and directions
inferred← citeshttps://doi.org/10.1109/sorucom.2014.29openalex-snapshot
ALGOL 68 and Its Impact on the USSR and Russian Programming
inferred← citeshttps://doi.org/10.1109/tc.1976.1674589openalex-snapshot
Programming Languages—The First 25 Years
inferred← citeshttps://doi.org/10.1109/tse.1977.231174openalex-snapshot
The Definition Mechanism for Standard PL/I
inferred← citeshttps://doi.org/10.1109/words.2003.1267483openalex-snapshot
Edsger Dijkstra
inferred← citeshttps://doi.org/10.1145/1044188.1044190openalex-snapshot
The Σ- concept
inferred← citeshttps://doi.org/10.1145/1115880.1115882openalex-snapshot
Data structure models for programming languages
inferred← citeshttps://doi.org/10.1145/1115880.1115887openalex-snapshot
Introduction to Oregano
inferred← citeshttps://doi.org/10.1145/1164881.1164883openalex-snapshot
A balanced view of MUMPS
inferred← citeshttps://doi.org/10.1145/1460690.1460715openalex-snapshot
A basis for a mathematical theory of computation, preliminary report
inferred← citeshttps://doi.org/10.1145/1499949.1500002openalex-snapshot
Data types and program correctness
inferred← citeshttps://doi.org/10.1145/154766.155365openalex-snapshot
A history of ALGOL 68
inferred← citeshttps://doi.org/10.1145/154766.155378openalex-snapshot
Recollections about the development of Pascal
inferred← citeshttps://doi.org/10.1145/155360.155365openalex-snapshot
A history of ALGOL 68
inferred← citeshttps://doi.org/10.1145/155360.155378openalex-snapshot
Recollections about the development of Pascal
inferred← citeshttps://doi.org/10.1145/321941.321957openalex-snapshot
Proving Properties of Complex Data Structures
inferred← citeshttps://doi.org/10.1145/321992.321997openalex-snapshot
Initial Algebra Semantics and Continuous Algebras
inferred← citeshttps://doi.org/10.1145/3386336openalex-snapshot
The history of Standard ML
inferred← citeshttps://doi.org/10.1145/3544585.3544612openalex-snapshot
Forty Years with Edsger
inferred← citeshttps://doi.org/10.1145/3544585.3544613openalex-snapshot
Edsger Dijkstra—Some Reminiscences
inferred← citeshttps://doi.org/10.1145/356612.356615openalex-snapshot
A Survey of Some Theoretical Aspects of Multiprocessing
inferred← citeshttps://doi.org/10.1145/357062.357072openalex-snapshot
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
inferred← citeshttps://doi.org/10.1145/357153.357159openalex-snapshot
A Flexible Notation for Syntactic Definitions
inferred← citeshttps://doi.org/10.1145/3578360.3580270openalex-snapshot
Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need
inferred← citeshttps://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferred← citeshttps://doi.org/10.1145/3583131.3590502openalex-snapshot
Solving Novel Program Synthesis Problems with Genetic Programming using Parametric Polymorphism
inferred← citeshttps://doi.org/10.1145/359361.359454openalex-snapshot
Implications of structured programming for machine architecture
inferred← citeshttps://doi.org/10.1145/360827.360848openalex-snapshot
Production systems
inferred← citeshttps://doi.org/10.1145/360980.360992openalex-snapshot
The treatment of data types in EL1
inferred← citeshttps://doi.org/10.1145/361179.361207openalex-snapshot
Multiple exits from a loop using neither GO TO nor labels
inferred← citeshttps://doi.org/10.1145/362349.362364openalex-snapshot
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
inferred← citeshttps://doi.org/10.1145/390014.808284openalex-snapshot
GLOSS
showing the first 200 of 255 · page through all 255
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.