16968 search results - page 2983 / 3394 » Software Engineering in the Small |
330
click to vote
OOPSLA
2004
Springer
16 years 7 days ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
227
click to vote
OOPSLA
2004
Springer
16 years 7 days ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
194
click to vote
VMCAI
2004
Springer
16 years 7 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
176
click to vote
VMCAI
2004
Springer
16 years 7 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
206
click to vote
WADT
2004
Springer
16 years 7 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...