Ez az oldal egy összefoglaló magyar nyelvű anyag az Euclid programozási nyelvről, amit bizonyíthatóan helyes rendszerprogramok írására szántak készítői.

Szakirodalom

• Report on the programming language Euclid. ACM Sigplan Notices 12, 2 (Feb. 1977), pp 1-85 (Butler Lampson, J. Horning, R. London, J. Mitchell, and G. Popek). Revised as Technical Report CSL-81-12, Xerox Palo Alto Research Center.
• Notes on the design of Euclid. ACM Sigplan Notices 12, 3 (Mar. 1977), pp 11-18. (Butler Lampson, J. Horning, R. London, J. Mitchell, and G. Popek).
• Proof rules for the programming language Euclid. Acta Informatica 10, 1 (Jan. 1978), pp 1-26 (Butler Lampson, J. Guttag, H. Horning, R. London, J. Mitchell, and G. Popek).

Linkek

• Az Euclid nyelvvel részletesen foglalkozó cikkek elérhetők
• Fizetős hozzáférésű cikk - portal.acm.org -ról

Szerzők

• Papp Gábor
• Galiba Imre
• Bartos Tamás
• Szirmai Tibor
• Főnök(Horváth Balázs)
• Jójárt Zsolt
• Rideg Balázs
• Lázár János