Search
 
   

5 results for "domain:di.ens.fr"

  1. 2
    A Conservative Extension of Synchronous Data-flow with State Machines (2007) ☶ pdf plt programming di.ens.fr
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 1 comment
  2. 4
    A Gentle Introduction to Formal Verification by Abstract Interpretation (2009) ☶ pdf formalmethods di.ens.fr
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  3. 6
    cmmtest: Hunting Concurrency Compiler Bugs c compilers di.ens.fr
    sanxiyn avatar via sanxiyn 2 years ago | cached | no comments
  4. 9
    Common Compiler Optimisations are Invalid in the C11 Memory Model pdf compilers programming di.ens.fr
    BruceM avatar via BruceM 3 years ago | cached | no comments
  5. 2
    Zélus: a hybrid synchronous language with ODEs ☶ compsci math programming zelus.di.ens.fr
    omphalos avatar via omphalos 3 years ago | cached | no comments