A Formal Programming Model of Orlans Skeleton Library.

Noman Javed, Frdric Loulergue

Browse the full PACT paper archive.