دلف زبان برنامه نوس نسبتا جدد برا آن دسته از توسعه دهندان همشه در جستجو ز جدد است ...
انون بارر ن

دلف رتبه بند و خلاصه

دلف برسب ها

زبان برنامه نوس د زبان تاد ننده زبان د تصدق ننده برنامه

دلف شرح

Dafny توسعه دهندان را با زبان برنامه نوس همراه با تأد ننده برنامه ارائه م دهد. با Dafny، همانطور ه در برنامه خود تا م ند، تأد ننده اطمنان حاصل م ند ه د شما بدون خطا است. Dafny خود را تساو ند قطعه از نفوذ از: اقلدس (از ذهنت طراح زبان ه برنامه ها آن باد تأد شود) افل (مانند و ها قرارداد ساخته شده) CLU (مانند دستاه ها آن، و تحر ننده برا نحو ارامتر Out-Parameter) جاوا و C # (مانند لاس ها، اره دافن زر طبقه بند را شتبان نم ند) ML (مانند سستم ماول و توابع آن و داده ها آن، اما Dafny از و ها مرتبه بالاتر شتبان نم ند) COQ (مانند توانا شامل داده ها Co-Inductive و قادر به نوشتن اثبات القا و القا))

دلف نرم افزارها مرتبط