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