3
F*
F * е ML-подобен функционален език за програмиране, насочен към проверка на програмата.F * може да изрази точни спецификации за програми, включително свойства за функционална коректност.Програмите, написани на F *, могат да бъдат преведени в OCaml или F # за изпълнение.
F * (произнася се F звезда) е ML-подобен функционален език за програмиране, насочен към проверка на програмата.Типната му система включва полиморфизъм, зависими типове, монадични ефекти, видове усъвършенстване и най-слабото условие за смятане.Заедно тези функции позволяват изразяване на точни и компактни спецификации за програми, включително функционални свойства за коректност.Проверката на типа F * има за цел да докаже, че програмите отговарят на техните спецификации, използвайки комбинация от SMT решаване и ръчни доказателства.Програмите, написани на F *, могат да бъдат преведени в OCaml или F # за изпълнение ....
f-
WebSite:
https://www.fstar-lang.orgХарактеристика
Категории
Алтернативи на F* за Android
1
Hi Security
Здравейте за сигурност е безплатна антивирус от световна класа, защитаващ вашия Android телефон от всички вирусни атаки.
- Безплатно
- Android
0
get2clouds
Той криптира данните два пъти, използвайки RC4 криптиране и го изпраща през защитен сокет слой (https).Това криптиране от край до край (E2E) прави прихващане или достъп до данните невъзможно от всеки друг, освен потребителя.
