מבנה נתונים
ואלגוריתמים
Eiffel
הינה שפת תכנות מונחה עצמים המבוססת על Ada
אשר תוכננה על ידי ברנרד מאייר.
היא מספקת
תמיכה מסודרת עבור תנאים מקדימים על ידי מתן אפשרות לתוכניתן להכניס הצהרת
Assert במקום המתאים בקוד.
Bertrand Meyer, “Eiffel The
Language”, Prentice Hall, 1992
ISBN 0-13-247925-7.