8021 search results - page 1 / 1605 » A Type System for Tom |
CORR
2009
Springer
13 years 3 months ago
2009
Springer
CAISE
2009
Springer
13 years 12 months ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...
ENTCS
2007
13 years 5 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
TOMS
2011
13 years 7 days ago
2011
IEEEARES
2007
IEEE
13 years 11 months ago
2007
IEEE
In a software system, it is inevitable that components will occasionally fail to produce acceptable results and become unavailable to serve its clients. Replication is the techniq...