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...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: M. I. Polubelova, S. N. Bozhko, S. V. Grigorev
التنسيق: Artigo
اللغة:Inglês
منشور في: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
سلاسل:Труды Института системного программирования РАН
الموضوعات:
сертификационное программирование
f*
верификация программ
контекстно-свободная грамматика
нормальная форма хомского
преобразование грамматики
dependent type
refinement type
الوصول للمادة أونلاين:https://ispranproceedings.elpub.ru/jour/article/view/64
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة