Pertanyaan yang diberi tag «formal-systems»

Tujuan penting dari metode formal adalah untuk membuktikan kebenaran sistem, baik dengan cara otomatis atau yang diarahkan manusia. Namun, tampaknya bahkan jika Anda dapat memberikan bukti kebenaran, Anda TIDAK mungkin dapat menjamin bahwa sistem tidak akan gagal. Sebagai contoh: Spesifikasi mungkin tidak memodelkan sistem dengan benar, atau sistem produksi mungkin …

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

Saya baru mengenal teori bahasa pemrograman dan saya mencari sumber daya yang bagus tentang sumber daya untuk semantik formal bahasa pemrograman. Secara khusus mencari semantik operasional struktural. Saya mendapat beberapa rekomendasi buku. Tapi saya mencari sumber daya di tingkat yang lebih awal. Terutama tutorial, situs web, dan rekomendasi buku gratis …

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

Adakah yang tahu dari mana nama System "F" dan System "T" berasal? Saya tidak bertanya siapa yang memperkenalkan nama-nama itu (Girard System F, dan Gödel System T), tetapi apa arti "F" dan "T".

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