דפני שפת קוד תכנות חדש למדי עבור אלה מפתחים תמיד על המשמר משהו חדש whe ...
הורד עכשיו

דפני דירוג וסיכום

דפני תגים

שפת תכנות קוד שפה אימות שפת קוד אימות התוכנית

דפני תיאור

דפני תספק למפתחים עם שפת תכנות לצד תוכנית אימות. עם Dafny, כפי שאתה מקליד בתוכנית שלך, אימות מוודא כי הקוד שלך הוא ללא שגיאות. דפני עצמה מציירת חלקים מרובים של השפעה מ: · Euclid (מתוך חשיבה של עיצוב שפה שתוכניותיהם יאימות) · אייפל (כמו תכונות החוזה המובנות) · CLU (כמו איטרטורים שלה, ואת ההכרה עבור תחביר פרמטר מחוץ לפרמטר) · ג 'אווה ו- C # (כמו השיעורים, אם כי Dafny אינו תומך subclassing) · ML (כמו מערכת המודול, ואת הפונקציות שלה ואת datatypes אינדוקטיביים, אבל Dafny אינו תומך בתכונות בסדר גבוה יותר) · CoQ (כמו היכולת לכלול Datatypes Co-Inductive ויכולות לכתוב הוכחות אינדוקטיביות ושותפות)

דפני תוכנה קשורה