86 search results - page 18 / 18 » The challenges in developing digital collections of phonogra... |
POPL
2000
ACM
13 years 9 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...