Запитання з тегом «formal-systems»

Важлива мета формальних методів - довести правильність систем, або автоматизованими, або людськими способами. Однак, схоже, що навіть якщо ви зможете надати підтвердження правильності, ви, можливо, НЕ зможете гарантувати, що система не вийде з ладу. Наприклад: Специфікація може не моделювати систему належним чином, або виробнича система може бути надто складною для …

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

Я новачок в теорії мов програмування і шукаю хороший ресурс на ресурсі для формальної семантики мов програмування. Спеціально шукаю структурну операційну семантику. Я отримав кілька книжкових рекомендацій. Але я шукаю ресурс на більш вступному рівні. Особливо вітаються рекомендації щодо навчальних посібників, веб-сайтів та безкоштовних книг.

17 reference-request  pl.programming-languages  semantics  formal-systems 

Хтось знає, звідки беруться назви Система "F" та Система "T"? Я не запитую, хто ввів ці імена (Girard System F, і Gödel System T), але що означає "F" і "T".

9 ho.history-overview  type-systems  formal-systems