182 search results - page 37 / 37 » Static Analysis by Abstract Interpretation: A Mathematical P... |
ENTCS
2000
13 years 5 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
ASAP
2003
IEEE
13 years 10 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...