Research graph

References

References from Formal verification of synchronous data-flow program transformations toward certified compilers. Local targets link to admitted publications; unresolved targets remain external evidence.

Unresolved reference

2000 · External reference

Unresolved reference

2005 · External reference

Unresolved reference

2009 · External reference

Unresolved reference

External reference

Unresolved reference

External reference

Unresolved reference

1998 · External reference

10.1007/3-540-48092-7_11

10.1007/3-540-48092-7_11 · 1999 · External reference

Unresolved reference

External reference

10.1145/358438.349314

10.1145/358438.349314 · 2000 · External reference

Unresolved reference

2011 · External reference

Unresolved reference

External reference

Unresolved reference

External reference

10.1109/9.53519

10.1109/9.53519 · 1990 · External reference

10.1007/3-540-18317-5_15

10.1007/3-540-18317-5_15 · 1987 · External reference

Unresolved reference

1994 · External reference

Unresolved reference

1974 · External reference

10.1007/978-1-4419-6400-7_1

10.1007/978-1-4419-6400-7_1 · 2010 · External reference

Unresolved reference

External reference

Unresolved reference

External reference

10.1145/2016603.1967688

10.1145/2016603.1967688 · 2011 · External reference

Unresolved reference

1970 · External reference

Unresolved reference

External reference

Unresolved reference

1993 · External reference

Unresolved reference

2008 · External reference

Unresolved reference

External reference

10.1109/tc.1986.1676819

10.1109/tc.1986.1676819 · 1986 · External reference

10.1145/1111320.1111042

10.1145/1111320.1111042 · 2006 · External reference

10.1145/1707801.1706311

10.1145/1707801.1706311 · 2010 · External reference

10.1145/1379023.1375674

10.1145/1379023.1375674 · 2008 · External reference

10.1007/978-3-642-30729-4_9

10.1007/978-3-642-30729-4_9 · 2012 · External reference