Travelled to:1 × Finland
Collaborated with:P.Chalin
Talks about:strong (1) runtim (1) report (1) improv (1) effici (1) assert (1) valid (1) error (1) check (1) use (1)
Person: Frédéric Rioux
DBLP: Rioux:Fr=eacute=d=eacute=ric
Contributed to:
2008Wrote 1 papers:
- FM-2008-ChalinR #fault #ml #performance #runtime #using
- JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity (PC, FR), pp. 246–261.