119 search results - page 4 / 24 » Synchronous Kleene algebra |
CL
2000
Springer
15 years 1 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
71
Voted
RELMICS
2005
Springer
15 years 2 months ago
2005
Springer
LICS
1999
IEEE
15 years 1 months ago
1999
IEEE
LICS
1997
IEEE
15 years 1 months ago
1997
IEEE
MFCS
1990
Springer
15 years 1 months ago
1990
Springer
