119 search results - page 4 / 24 » Synchronous Kleene algebra |
CL
2000
Springer
13 years 11 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,...
RELMICS
2005
Springer
14 years 1 months ago
2005
Springer
LICS
1999
IEEE
13 years 12 months ago
1999
IEEE
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
MFCS
1990
Springer
13 years 11 months ago
1990
Springer
