คอมไพเลอร์ TenDRA

TenDRA Compilerเป็นคอมไพเลอร์ภาษา C/C++ สำหรับระบบปฏิบัติการที่เข้ากันได้กับPOSIX ซึ่ง ใช้ งานได้ภายใต้เงื่อนไขของใบอนุญาต BSD

เดิมที TenDRA ได้รับการพัฒนาโดยหน่วยงานประเมินและวิจัยด้านการป้องกันประเทศ (DERA) ในสหราชอาณาจักรในช่วงต้นปี 2545 Jeroen Ruigrok van der Werven ได้เริ่มพัฒนา TenDRA ขึ้นอีกครั้ง และเผยแพร่ในรูปแบบโอเพนซอร์สภายใต้ใบอนุญาต BSD ผ่านทางเว็บไซต์ tendra.org ในไตรมาสที่สามของปี 2545 โครงการที่เริ่มต้นจากคนเพียงคนเดียวได้ขยายไปสู่ทีมขนาดเล็ก

เทคโนโลยีTDFที่อยู่เบื้องหลัง TenDRA มีประวัติทางวิชาการย้อนกลับไปถึงงานตรวจสอบความถูกต้องของรหัสพีชคณิตในช่วงทศวรรษ 1970 ^{[ 1 ]}

ในเดือนสิงหาคม พ.ศ. 2546 TenDRA ได้แยกออกเป็นสองโครงการ คือ TenDRA.org และ Ten15.org ทั้งสองโครงการดูเหมือนจะหายไปจากเว็บในช่วงประมาณปี พ.ศ. 2549-2550 แต่จริงๆ แล้วยังคงใช้งานอยู่^{[ 2 ] [ 3 ]}

เป้าหมายของTenDRA.orgคือ:

• เพื่อสร้างโค้ดที่ถูกต้องอย่างต่อเนื่อง
• เพื่อให้มั่นใจในความถูกต้องของโค้ดด้วยวิธีการต่างๆ และ
• เพื่อปรับปรุงประสิทธิภาพของคอมไพเลอร์และโค้ดที่ได้อย่างต่อเนื่อง เว้นแต่ว่าการปรับปรุงนั้นจะส่งผลเสียต่อประเด็นข้างต้น

เป้าหมายเพิ่มเติมของTen15.orgได้แก่:

• เพื่อเป็นคู่แข่งที่เป็นมิตรกับ GCC เพื่อให้ได้คอมไพเลอร์ที่ดีที่สุด

คุณสมบัติของคอมไพเลอร์ทั้งสองตัว ได้แก่ การรายงานข้อผิดพลาดที่ดีโดยคำนึงถึงมาตรฐาน และขนาดโค้ดที่เล็กกว่าโปรแกรมเดียวกันที่คอมไพล์ด้วยgccการสนับสนุน C++ ไม่ได้รับการพัฒนาเท่ากับการสนับสนุน C และไม่มีการเผยแพร่เวอร์ชันที่รองรับ STL TenDRA ใช้Architecture Neutral Distribution Format (ANDF) ซึ่งเป็นข้อกำหนดที่สร้างโดยOpen Groupเป็นภาษา ตัวกลาง

ในบางช่วงเวลา เคอร์เนลส่วนใหญ่ของ Alpha OSF/1สามารถสร้างได้ด้วย TenDRA C และต่อมาก็มีความพยายามที่คล้ายกันในการพอร์ตเคอร์เนล ของ FreeBSD ด้วย

เว็บไซต์ TenDRA.org มีเอกสารประกอบที่ครอบคลุมครบถ้วนให้ดูได้ทางออนไลน์ที่http://www.tendra.org/docs

สามารถดูคู่มือสำหรับข้อมูลอ้างอิงเกี่ยวกับโปรแกรมและรูปแบบไฟล์ได้ที่http://www.tendra.org/man

• รูปแบบการแจกจ่าย TenDRA

• เกี่ยวกับ tendra.orgบนWayback Machine (เก็บถาวรเมื่อวันที่ 22 ธันวาคม 2550)
• โครงการ TenDRA
• หน้าเว็บบน GitHub
• สำเนาของที่เก็บซอร์สโค้ด TenDRA บน Bitbucket ถูกเก็บถาวรเมื่อวันที่ 25 มีนาคม 2012 บนWayback Machine
• ten15.orgบนWayback Machine (เก็บถาวรเมื่อวันที่ 15 พฤษภาคม 2011)
• TenDRA ในชุดพอร์ตของ FreeBSD
• TenDRA ใน Debian
• สำเนาของหน้าเว็บ TenDRA ต้นฉบับจาก DERA