![](https://www.pdfsearch.io/img/26e76421f8cf4cc00f6a54ba87cd0a22.jpg)
| Document Date: 2007-12-21 03:21:14 Open Document File Size: 277,46 KBShare Result on Facebook
Company RTL / / / IndustryTerm imperative serialisation algorithm / compilation algorithm / parallel move compilation algorithm / trivial compilation algorithm / space-efficient algorithm / naive compilation algorithm / imperative algorithm / / OperatingSystem GNU / / Person Xavier Leroy / Laurence Rideau / Bernard Paul Serpette / / Position editor / proof assistant / Coq proof assistant / / ProgrammingLanguage Common Lisp / C / Algol 68 / / Technology naive compilation algorithm / compilation algorithm / imperative algorithm / trivial compilation algorithm / 4 Nondeterministic specification The algorithm / parallel move compilation algorithm / imperative serialisation algorithm / / URL http / |