F*

F*

F * je ML podoben funkcionalni programski jezik, namenjen preverjanju programa.F * lahko izrazi natančne specifikacije za programe, vključno z lastnostmi funkcionalne korektnosti.Programe, napisane v F *, lahko za izvedbo prevedemo v OCaml ali F #.
F * (izgovarja se zvezda F) je ML podoben funkcionalni programski jezik, namenjen preverjanju programa.Njegov tipni sistem vključuje polimorfizem, odvisne vrste, monadične učinke, vrste izpopolnjevanja in najšibkejši predpogoj.Te funkcije skupaj omogočajo izražanje natančnih in kompaktnih specifikacij za programe, vključno z lastnostmi funkcionalne korektnosti.Cilj preverjanja tipa F * je dokazati, da programi izpolnjujejo njihove specifikacije z uporabo kombinacije reševanja SMT in ročnih dokazov.Programe, napisane v F *, lahko za izvedbo prevedemo v OCaml ali F #.
f-

Spletna stran:

Lastnosti

Kategorije

Alternativa F*u za vse platforme s katero koli licenco

F# (programming language)

F# (programming language)

F # je jedrnat, ekspresiven in učinkovit funkcijski in objektno usmerjen jezik za .NET, ki vam pomaga napisati preprosto kodo za reševanje zapletenih težav.
CamDesk

CamDesk

CamDesk je brezplačen, odprtokodni namizni pripomoček za spletno kamero, ki je bil ustvarjen kot aplikacija za nadzor doma.
Coq

Coq

Coq je pomočnik pri dokazovanju, ki vam omogoča natančno in formalno pisanje matematičnih dokazov in preverjanje pravilnosti računalnika.
Isabelle

Isabelle

Isabelle je pomočnica pri pisanju in preverjanju matematičnih dokazov po računalniku.
OCaml

OCaml

OCaml je industrijski jakostni programski jezik, ki podpira funkcionalne, imperativne in objektno usmerjene sloge.
Agda

Agda

Agda je odvisen od vrste funkcionalnega programskega jezika.Ima induktivne družine, tj. Vrste podatkov, ki so odvisne od vrednosti, kot je vrsta vektorjev določene dolžine.
Network Security Toolkit

Network Security Toolkit

Ta zagonski ISO v živo / CD / DVD (NST Live) temelji na Fedori.
Hi Security

Hi Security

Hi Security je BREZPLAČNI antivirus, ki ščiti vaš Android telefon pred vsemi virusnimi napadi.
Cyberwatch

Cyberwatch

Zaščitite svoje strežnike pred IT ranljivostmi. Cyberwatch zazna vaše ranljivosti in samodejno odpravi ustrezne varnostne popravke.
get2clouds

get2clouds

Podatke dvakrat šifrira s šifriranjem RC4 in jih pošlje prek varne vtičnice (https).Ta šifriranje od konca do konca (E2E) onemogoča prestrezanje ali dostop do podatkov nihče drug kot uporabnik.
Masked Cache

Masked Cache

Brezplačno in enostavno za uporabo spletno mesto, ki omogoča predajo gesel, uporabniških imen, varnih potrdil in drugih občutljivih podatkov svojim prijateljem in sodelavcem
  • Brezplačna
  • Web