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