Euclidเป็นภาษาโปรแกรมเชิงคำสั่งสำหรับการเขียน โปรแกรม ที่ตรวจสอบได้ ได้ รับ การออกแบบในช่วงกลางทศวรรษ 1970 โดยButler LampsonและJames G. Mitchellที่ ห้องปฏิบัติการ Xerox PARCร่วมกับJim Horningที่มหาวิทยาลัยโทรอนโต , Ralph L. London ที่USC ISIและGerald J. Popekที่UCLAการพัฒนาโปรแกรมนำโดยRic Holtที่มหาวิทยาลัยโทรอนโตและJames Cordyเป็นโปรแกรมเมอร์หลักในการพัฒนาคอมไพเลอ ร์เวอร์ชันแรก เดิมทีออกแบบมาสำหรับ ไมโครโปรเซสเซอร์ Motorola 6809ถือว่าเป็นนวัตกรรมในยุคนั้น ทีมพัฒนาคอมไพเลอร์มีงบประมาณ 2 ล้านดอลลาร์สหรัฐฯ ในระยะเวลา 2 ปี และได้รับมอบหมายจากหน่วยงานวิจัยโครงการขั้นสูงด้านการ ป้องกันประเทศ ของกระทรวงกลาโหมสหรัฐฯและกระทรวงกลาโหมแคนาดามีการใช้งาน Euclid เป็นเวลาหลายปีที่IP Sharp Associates , MITRE Corporation , SRI Internationalและสถาบันระหว่างประเทศอื่นๆ สำหรับการวิจัยด้านการเขียนโปรแกรมระบบและระบบซอฟต์แวร์ที่ปลอดภัย

ภาษา Euclid สืบทอดมาจากภาษา Pascal , Mesa , Alphard , CLU , Gypsy, BCPL , Modula , LISและ SUE ฟังก์ชันใน Euclid มีขอบเขตปิด ไม่สามารถมีผลข้างเคียง และต้องประกาศการนำเข้าอย่างชัดเจน นอกจากนี้ Euclid ยังไม่อนุญาตให้ ใช้คำ สั่ง goto , ตัวเลขทศนิยม, การกำหนดค่าส่วนกลาง, ฟังก์ชันซ้อนกันและนามแฝง และพารามิเตอร์ของฟังก์ชันใดๆ ก็ไม่สามารถอ้างอิงถึงเซลล์หน่วยความจำเดียวกันได้ (ซึ่ง Euclid เรียกว่า "ตัวแปร") Euclid ใช้โมดูลเป็นชนิดข้อมูล ภาษาที่สืบทอดมาจาก Euclid ได้แก่ภาษาโปรแกรม Concurrent Euclidและภาษาโปรแกรม Turing

• BW Lampson, JJ Horning, RL London, JG Mitchell และ GJ Popek 1977. รายงานเกี่ยวกับภาษาโปรแกรม Euclid. SIGPLAN Notices 12, 2 (กุมภาพันธ์ 1977), 1-79.
• RC Holt, DB Wortman, JR Cordy และ DR Crowe 1978. ภาษายูคลิด: รายงานความคืบหน้า ในรายงานการประชุมประจำปี 1978 (วอชิงตัน ดี.ซี. สหรัฐอเมริกา 4-6 ธันวาคม 1978), 111-115.
• DB Wortman และ JR Cordy 1981. ประสบการณ์เบื้องต้นกับ Euclid ใน Proc. การประชุมวิศวกรรมซอฟต์แวร์นานาชาติครั้งที่ 5 (ซานดิเอโก แคลิฟอร์เนีย สหรัฐอเมริกา 9-12 มีนาคม 1981), 27-32.