A Formal Programming Model of Orléans Skeleton Library

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00592540
Contributor : Frédéric Loulergue <>
Submitted on : Thursday, May 12, 2011 - 8:07:09 PM
Last modification on : Thursday, January 17, 2019 - 3:06:06 PM

Identifiers

  • HAL Id : hal-00592540, version 1

Collections

Citation

Noman Javed, Frédéric Loulergue. A Formal Programming Model of Orléans Skeleton Library. (PaCT), 2011, Kazan, Russia. ⟨hal-00592540⟩

Share

Metrics

Record views

72