BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Sweden
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
C.Comar J.F.Ruiz C.Dross J.Filliâtre Maroua Maalej S.T.Taft M.Aponte P.Courtieu M.Sango J.Kanig R.Chapman J.Guitton E.Rees
Talks about:
contain (2) dynam (2) code (2) base (2) ada (2) precondit (1) explicit (1) composit (1) artifact (1) suffici (1)

Person: Yannick Moy

DBLP DBLP: Moy:Yannick

Contributed to:

TAP 20142014
Ada-Europe 20122012
FM 20122012
TAP 20112011
VMCAI 20082008
Ada-Europe 20182018

Wrote 6 papers:

TAP-2014-KanigCCGMR #verification
Explicit Assumptions — A Prenup for Marrying Static and Dynamic Program Verification (JK, RC, CC, JG, YM, ER), pp. 142–157.
AdaEurope-2012-RuizCM #ada #development #source code
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (JFR, CC, YM), pp. 49–59.
FM-2012-AponteCMS #composition #invariant
Maximal and Compositional Pattern-Based Loop Invariants (MVA, PC, YM, MS), pp. 37–51.
Correct Code Containing Containers (CD, JCF, YM), pp. 102–118.
VMCAI-2008-Moy #composition
Sufficient Preconditions for Modular Assertion Checking (YM), pp. 188–202.
AdaEurope-2018-MaalejTM #ada #memory management
Safe Dynamic Memory Management in Ada and SPARK (MM, STT, YM), pp. 37–52.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.