Algol 48

Hypothetical preliminary version of Algol 50 using recursion equations and explicit time; illustrates representation of programs as logical sentences.

Neighborhood — ranked by edge-count

Papers (1)

paper

Elephant 2000: A Programming Language Based on Speech Acts
introduces

Thinkers (2)

thinker

Nissim Francez
studies
Researcher who used explicit time for program semantics, work referenced.
Amir Pnueli
studies
Co-author with Francez on program semantics using time, cited.

Frameworks (1)

framework

Algol 50
extendsrelated_to
Hypothetical programming language using reified variables and state vectors as warmup for representing Elephant programs as logical sentences.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

Alper Alkanconcept0.724
alcoveconcept0.704
A smaller recessed space within a room that forms a strong center.
Recursion equations (Algol 48/50 formalism) suffice to express operational semantics without special theory of programming.finding0.701
Alhambraconcept0.693
The primary historical artifact studied; a palace in Granada, Spain containing abundant frieze and wallpaper geometric patterns.
Gamma et al. (Gang of Four)concept0.685
Authors of the book 'Design Patterns'; the Memento pattern is directly referenced for view creation.
LLaMA / LLaMA2 / LLaMA3concept0.677
Language model family used in cross-modal alignment experiments across multiple sizes
Parlog86concept0.676
Concurrent logic language; Linda authors demonstrate simpler solutions to client-server and dining philosophers problems.
ALYMPICSframework0.674
Empirical game-theory benchmark with a pilot task on scarce resource allocation through multi-round auctions, cited.