articleLobstersiverson-notation · formal-methods
A Letter from Dijkstra on APL(1982)
Analyse de Dijkstra sur APL montrant que l'outil modele l'usage et la pensee; inclut des exemples en APL (Ackermann) et une discussion sur l'executabilite et l'enseignement.
publié 02 MAI 2026★★★★★
Lire la sourcewww.jsoftware.com/papers/Dijkstra_Letter.htm
[*] Ouvre dans un nouvel onglet · pas de tracking côté Lantern
Extrait · ingestion Lantern
Analyse de Dijkstra sur APL montrant que l'outil modele l'usage et la pensee; inclut des exemples en APL (Ackermann) et une discussion sur l'executabilite et l'enseignement.
Extrait automatique · ~173 caractèresvoir la source complète →
- Source
- Lobsters
- Ingéré
- 02 MAI 2026 · 15:10
- Score édito
- 3.4 / 5