146 search results - page 30 / 30 » Automatically Costed Autonomous Mobility |
POPL
2000
ACM
13 years 10 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...