O.: Newspeak, doubleplussimple minilang for goodthinkful static analysis of (0)

by C Hymans, Levillain
Venue:C. Technical Note 2008-IW-SE-00010-1, EADS (2008) S. Blazy, X. Leroy