-
1رسالة جامعية
المؤلفون: Jourdan, Jacques-Henri
المساهمون: Langages de programmation, types, compilation et preuves (GALLIUM), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Universite Paris Diderot-Paris VII, Xavier Leroy, ANR-11-INSE-0003,VERASCO,Vérification formelle d'analyseurs statiques et de compilateurs(2011)
المصدر: https://hal.science/tel-01327023Test ; Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English. ⟨NNT : ⟩.
مصطلحات موضوعية: Abstract Intepretation, Proof Assistant, Coq Proof Assistant, Formal Verification, Octagons, Numerical Absract Domains, Interpretation abstraite, Assistance charitable, Coq, Verification Formelle, Octogones, Domaines abstraits numeriques, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
العلاقة: tel-01327023; https://hal.science/tel-01327023Test; https://hal.science/tel-01327023/documentTest; https://hal.science/tel-01327023/file/thesis.pdfTest
-
2رسالة جامعية
المؤلفون: Jourdan, Jacques-Henri
المساهمون: Langages de programmation, types, compilation et preuves (GALLIUM), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Universite Paris Diderot-Paris VII, Xavier Leroy, ANR-11-INSE-0003,VERASCO,Vérification formelle d'analyseurs statiques et de compilateurs(2011)
المصدر: https://hal.science/tel-01327023Test ; Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English. ⟨NNT : ⟩.
مصطلحات موضوعية: Abstract Intepretation, Proof Assistant, Coq Proof Assistant, Formal Verification, Octagons, Numerical Absract Domains, Interpretation abstraite, Assistance charitable, Coq, Verification Formelle, Octogones, Domaines abstraits numeriques, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
العلاقة: tel-01327023; https://hal.science/tel-01327023Test; https://hal.science/tel-01327023/documentTest; https://hal.science/tel-01327023/file/thesis.pdfTest