Empreinte digitale
- 1 Profils similaires
-
Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
Hardin, T., Jaume, M., Pessaux, F. & Donzeau-Gouge, V. V., 1 janv. 2021, wiley. 298 p.Résultats de recherche: Livre/rapport › Livre › Revue par des pairs
-
Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java
Hardin, T., Jaume, M., Pessaux, F. & Donzeau-Gouge, V. V., 1 janv. 2021, wiley. 236 p.Résultats de recherche: Livre/rapport › Livre › Revue par des pairs
-
Interval-based simulation of Zélus IVPs using DynIbex
Brown, J. & Pessaux, F., 19 août 2020, Dans: Acta Cybernetica. 2Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Termination proofs for recursive functions in FoCaLiZe
Dubois, C. & Pessaux, F., 1 janv. 2016, Trends in Functional Programming - 16th International Symposium, TFP 2015, Revised Selected Papers. Serrano, M. & Hage, J. (eds.). Springer Verlag, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 9547).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
FoCaLiZe: Inside an F-IDE
Pessaux, F., 26 avr. 2014, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 149, p. 64-78 15 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
ML dependency analysis for assessors
Ayrault, P., Benayoun, V., Dubois, C. & Pessaux, F., 6 nov. 2012, Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Proceedings. p. 278-292 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7504 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Development Life-cycle of Critical Software Under FoCaL
Ayrault, P., Hardin, T. & Pessaux, F., 28 juil. 2009, Dans: Electronic Notes in Theoretical Computer Science. 243, p. 15-31 17 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Development of a generic voter under focal
Ayrault, P., Hardin, T. & Pessaux, F., 2 nov. 2009, Tests and Proofs - Third International Conference, TAP 2009, Proceedings. p. 10-26 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 5668 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
ATASDAS: A tool for improving the software dependability analysis process
Monégier Du Sorbier, M. C., Pessaux, F., Escorial, D., Joaquim, L., Klefstad-Sillonville, F. & Pipan, G., 1 déc. 2004, Dans: European Space Agency, (Special Publication) ESA SP. 570, p. 358-366 9 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
-
Type-based analysis of uncaught exceptions
Leroy, X. & Pessaux, F., 1 janv. 2000, Dans: ACM Transactions on Programming Languages and Systems. 22, 2, p. 340-377 38 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert