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