Zobrazeno 1 - 10
of 10
pro vyhledávání: '"François Pessaux"'
Autor:
François Pessaux
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 149, Iss Proc. F-IDE 2014, Pp 64-78 (2014)
For years, Integrated Development Environments have demonstrated their usefulness in order to ease the development of software. High-level security or safety systems require proofs of compliance to standards, based on analyses such as code review and
Externí odkaz:
https://doaj.org/article/84023101a55c4caf98d353ad51d6c27c
Autor:
François Pessaux, Jason Brown
Publikováno v:
Acta Cybernetica
Acta Cybernetica, University of Szeged, Institute of Informatics, In press, pp.1-16. ⟨10.14232/actacyb.285246⟩
Acta Cybernetica, University of Szeged, Institute of Informatics, In press, pp.1-16. ⟨10.14232/actacyb.285246⟩
International audience; Modeling continuous-time dynamical systems is a complex task. Fortunately some dedicated programming languages exist to ease this work. Zélus is one such language that generates a simulation executable which can be used to st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1b950f59b1654a05a9652d4d90552ad
https://hal.archives-ouvertes.fr/hal-02930466/document
https://hal.archives-ouvertes.fr/hal-02930466/document
This book the first of two volumes explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that inter
This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere
Autor:
François Pessaux, Catherine Dubois
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319391090
TFP
TFP
FoCaLiZe is a development environment allowing the writing of specifications, implementations and correctness proofs. It generates both OCaml executable and Coq code for verification needs. This paper extends the language and the compiler to handle t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c081898a2b69739c1b702af9ab0c6e6
https://doi.org/10.1007/978-3-319-39110-6_8
https://doi.org/10.1007/978-3-319-39110-6_8
Publikováno v:
Software Engineering and Formal Methods (SEFM) 2012
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
Software Engineering and Formal Methods ISBN: 9783642338250
SEFM
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
Software Engineering and Formal Methods ISBN: 9783642338250
SEFM
International audience; Critical software needs to obtain an assessment before com- missioning. This assessment is given after a long task of software analysis performed by assessors. They may be helped by tools, used interactively, to build models u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75c28a89d1e9a8d885f24caf20286388
https://hal.archives-ouvertes.fr/hal-01203505/file/ML_deps_assess.pdf
https://hal.archives-ouvertes.fr/hal-01203505/file/ML_deps_assess.pdf
Publikováno v:
Tests and Proofs ISBN: 9783642029486
TAP@TOOLS
Proceedings of the 3rd International Conference on Tests and Proofs
TAP 2009-3rd International Conference on Tests and Proofs
TAP 2009-3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩
TAP@TOOLS
Proceedings of the 3rd International Conference on Tests and Proofs
TAP 2009-3rd International Conference on Tests and Proofs
TAP 2009-3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩
International audience; Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle cus-tomised to FoCaL. In this paper, we examine how to specify and implement a concret
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a123eccf7f3b7f3954d8fe2bcea1e46
https://doi.org/10.1007/978-3-642-02949-3_3
https://doi.org/10.1007/978-3-642-02949-3_3
Autor:
Xavier Leroy, François Pessaux
Publikováno v:
POPL 1999: 26th symposium Principles of Programming Languages
POPL 1999: 26th symposium Principles of Programming Languages, ACM, Jan 1999, San Antonio, United States. pp.276-290, ⟨10.1145/292540.292565⟩
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩
POPL
[Research Report] RR-3541, INRIA. 1998
ACM Transactions on Programming Languages and Systems (TOPLAS), 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩
POPL 1999: 26th symposium Principles of Programming Languages, ACM, Jan 1999, San Antonio, United States. pp.276-290, ⟨10.1145/292540.292565⟩
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩
POPL
[Research Report] RR-3541, INRIA. 1998
ACM Transactions on Programming Languages and Systems (TOPLAS), 2000, 22 (2), pp.340-377. ⟨10.1145/349214.349230⟩
International audience; This paper presents a program analysis to estimate un-caught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, using rows to approximate both the flow of escapin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::132410935b82919c31cf3ec139486d0b
https://hal.inria.fr/hal-01499959/file/exceptions-popl.pdf
https://hal.inria.fr/hal-01499959/file/exceptions-popl.pdf
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.