339 search results - page 1 / 68 » Basic concepts of abstract interpretation |
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
Interpretation∗ Soonho Kong http://ropas.snu.ac.kr/∼soon/ May 25, 2007 ∗ Work of P. Cousot and R.Cousot ncepts of Abstract Interpretation, 1 / 35
ICCAD
1996
IEEE
13 years 9 months ago
1996
IEEE
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
TPHOL
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
SEMWEB
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. RDF may be considered as an application of XML intended to interoperably exchange semantics between Web applications. In its current form, this objective may be hard to r...
CJ
2004
13 years 4 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...