Yazılım
5 ücretsiz ve ücretli F* alternatiflerinin bir listesini derledik. Başlıca rakipler şunları içerir: Isabelle, Coq. Bunların yanı sıra, kullanıcılar F* ile F# (programming language), Agda, OCaml arasında karşılaştırmalar da yaparlar. Ayrıca burada diğer benzer seçeneklere de göz atabilirsiniz: Güvenlik ve Gizlilik Yazılımı.
5 ücretsiz ve ücretli F* alternatiflerinin bir listesini derledik. Başlıca rakipler şunları içerir: Isabelle, Coq. Bunların yanı sıra, kullanıcılar F* ile F# (programming language), Agda, OCaml arasında karşılaştırmalar da yaparlar. Ayrıca burada diğer benzer seçeneklere de göz atabilirsiniz: Güvenlik ve Gizlilik Yazılımı.
Isabelle, bilgisayar üzerinde matematiksel kanıtları yazmak ve kontrol etmek için bir kanıt asistanıdır.
Coq, titiz ve resmi olarak matematiksel provalar yazmanıza izin veren bir prova asistanıdır ...
F #, özlü, anlamlı ve etkili bir işlevsel ve nesne yönelimli bir dildir.
Ağda, bağımlı bir şekilde yazılan işlevsel bir programlama dilidir. Endüktif aileleri vardır, yani
OCaml, fonksiyonel, zorunlu ve zorunluluk destekleyen endüstriyel bir güç programlama dilidir ...
F *, program doğrulamayı amaçlayan, ML benzeri bir işlevsel programlama dilidir.
F *, program doğrulamayı amaçlayan, ML benzeri bir işlevsel programlama dilidir.
Linux
Mac
Web-Based
Windows
F * (telaffuz F yıldızı) programın doğrulanmasını amaçlayan bir ML benzeri işlevsel programlama dilidir. Tip sistemi polimorfizm, bağımlı tipler, monadik etkiler, arıtma tipleri ve en zayıf önkoşul hesabı içerir. Birlikte, bu özellikler, işlevsel doğruluk özellikleri de dahil olmak üzere programlar için kesin ve kompakt teknik özelliklerin ifade edilmesini sağlar. F * tip denetleyicisi, programların bir SMT çözme ve manuel prova kombinasyonu kullanarak spesifikasyonlarına uygun olduğunu kanıtlamayı amaçlamaktadır. F * ile yazılmış programlar yürütmek için OCaml veya F # 'ya çevrilebilir.
Security & Privacy
Portable
Yazılım hakkındaki görüşlerinizi paylaşın, bir inceleme bırakın ve daha da iyileştirmeye yardımcı olun!
Değişiklik Önerin
Geri bildiriminiz
Your vote has been counted.
Do you have experience using this software?
