Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

10 résultats
Page :
triés par

Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses

 Omar Chebaro , Pascal Cuoq , Nikolai Kosmatov , Bruno Marre , Anne Pacalet , et al.
Automated Software Engineering, 2013, 21 (1), pp.107-143. ⟨10.1007/s10515-013-0127-x⟩
Article dans une revue hal-00818147v1
Image document

Frama-C: A software analysis perspective

 Florent Kirchner , Nikolai Kosmatov , Virgile Prévosto , Julien Signoles , Boris Yakobowski
Formal Aspects of Computing, 2015, 27 (3), pp.573 - 609. ⟨10.1007/s00165-014-0326-7⟩
Article dans une revue cea-01808981v1
Image document

Le caractère ` à la rescousse -- Factorisation et réutilisation de code grâce aux variants polymorphes

 Boris Yakobowski
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.63-78
Communication dans un congrès inria-00202817v1
Image document

A Church-Style Intermediate Language for MLF

 Didier Rémy , Boris Yakobowski
Theoretical Computer Science, 2012, 435, pp.77--105. ⟨10.1016/j.tcs.2012.02.026⟩
Article dans une revue hal-01093719v1
Image document

Improving static analyses of C programs with conditional predicates

 Sandrine Blazy , David Bühler , Boris Yakobowski
Science of Computer Programming, 2016, 118, ⟨10.1145/2854065.2854082⟩
Article dans une revue hal-01242077v1
Image document

Frama-C

 Pascal Cuoq , Florent Kirchner , Nikolai Kosmatov , Virgile Prévosto , Julien Signoles , et al.
Lecture Notes in Computer Science, 2012, 7504, pp.233-247. ⟨10.1007/978-3-642-33826-7_16⟩
Article dans une revue cea-04469477v1

Experience report : Ocsigen, a web programming framework

 Vincent Balat , Jérôme Vouillon , Boris Yakobowski
International Conference on Functional Programming, 2009, Edinburgh, United Kingdom. pp.311-316, ⟨10.1145/1631687.1596595⟩
Communication dans un congrès hal-00495903v1
Image document

Graphical types and constraints - second-order polymorphism and inference

 Boris Yakobowski
Software Engineering [cs.SE]. Université Paris-Diderot - Paris VII, 2008. English. ⟨NNT : ⟩
Thèse tel-00357708v1
Image document

A Value-based Memory Model for Deductive Verification

 Quentin Bouillaguet , François Bobot , Mihaela Sighireanu , Boris Yakobowski
Les vingt-neuvièmes Journées Francophones des Langages Applicatifs (The 29th Francophone Days of Application Languages - JFLA 2018), Jan 2018, Banyuls-sur-mer, France
Communication dans un congrès cea-01809497v1

Improving static analyses of C programs with conditional predicates

 Sandrine Blazy , David Bühler , Boris Yakobowski
FMICS 2014: Formal Methods for Industrial Critical Systems, Sep 2014, Florence, Italy. pp.15, ⟨10.1007/978-3-319-10702-8_10⟩
Communication dans un congrès hal-01242087v1
Page :