11022 search results - page 179 / 2205 » Programming Systems for Autonomy |
147
Voted
POPL
1995
ACM
15 years 8 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
176
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
111
Voted
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
On the evening of 2 November 1988, someone “infected” the Internet with a worm program. That program exploited flaws in utility programs in systems based on BSD-derived versi...
119
Voted
TOOLS
1992
IEEE
15 years 9 months ago
1992
IEEE
We show how an object-oriented system-and in particular the Oberon System-can be used to write software that is extensible by end users even while the software is running. Extensib...