1880 search results - page 75 / 376 » A Static Analysis for Beta-Binders |
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
It is generally agreed that an on-line recognition system is always reliable than an off-line one. It is due to the availability of the dynamic information, especially the writing...
111
click to vote
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
FLAIRS
1998
15 years 1 months ago
1998
Instance (or object) classification in a knowledgebase managementsystem is the very same problem as view determination in an object DBMS,whereviewsare subsets of classes intension...
123
click to vote
ASPLOS
2004
ACM
15 years 5 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...