339 search results - page 21 / 68 » Basic concepts of abstract interpretation |
115
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
AML
2002
14 years 11 months ago
2002
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
LOPSTR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
MTA
2006
14 years 11 months ago
2006
Abstract. Query-by-example and query-by-keyword both suffer from the problem of "aliasing," meaning that example-images and keywords potentially have variable interpretat...
104
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Early applications of smart cards have focused in the area of personal security. Recently, there has been an increasing demand for networked, multi-application cards. In this new ...