Učitavanje...

Certified Grammar Transformation to Chomsky Normal Form in F

Certified programming allows to prove that the program meets its specification. The check of correctness of a program is performed at compile time, which guarantees that the program always runs as specified. Hence, there is no need to test certified programs to ensure they work correctly. There are...

Cijeli opis

Spremljeno u:
Bibliografski detalji
Glavni autori: M. I. Polubelova, S. N. Bozhko, S. V. Grigorev
Format: Artigo
Jezik:Inglês
Izdano: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Serija:Труды Института системного программирования РАН
Teme:
f*
Online pristup:https://ispranproceedings.elpub.ru/jour/article/view/64
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!