1 |
Hilbert-Post completeness for the state and the exception effects
|
|
|
|
In: Lecture Notes in Computer Sciences ; Sixth International Conference on Mathematical Aspects of Computer and Information Sciences ; https://hal.archives-ouvertes.fr/hal-01121924 ; Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩ (2015)
|
|
BASE
|
|
Show details
|
|
2 |
Certification of programs with computational effects ; Certification de programmes avec des effets calculatoires
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01250842 ; Programming Languages [cs.PL]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM070⟩ (2015)
|
|
BASE
|
|
Show details
|
|
3 |
Formal verification in Coq of program properties involving the global state effect
|
|
|
|
In: JFLA 2014 - Journées Francophones des Langages Applicatifs ; https://hal.archives-ouvertes.fr/hal-00869230 ; JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17 (2014)
|
|
BASE
|
|
Show details
|
|
|
|