Collaborated with:Y.A.Ameur J.Falcon A.Gomez J.Cazin R.Jacquart M.Lemoine P.Michel
Talks about:interpret (1) construct (1) arithmet (1) abstract (1) program (1) develop (1) formal (1) applic (1) point (1) float (1)
Person: Patrice Cros
DBLP: Cros:Patrice
Contributed to:
1992
1991Wrote 2 papers:
- WSA-1992-AmeurCFG #abstract interpretation #float
- An Application of Abstract Interpretation to Floating Point Arithmetic (YAA, PC, JJF, AG), pp. 205–212.
- CCPSD-1991-CazinCJLM #reuse #using
- Construction and Reuse of Formal Program Developments (JC, PC, RJ, ML, PM), pp. 120–136.