391 search results - page 26 / 79 » Automatic programming with semantic streams |
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
VTC
2007
IEEE
15 years 5 months ago
2007
IEEE
— Intelligence Transportation Systems are critical to improve the efficiency of modern transportation by reducing congestions, providing real time road conditions. A system that...
101
Voted
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
95
Voted
VL
1994
IEEE
15 years 3 months ago
1994
IEEE
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
FMOODS
2008
15 years 10 days ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...