3342 search results - page 61 / 669 » Automating Abstract Interpretation |
TIME
1997
IEEE
15 years 3 months ago
1997
IEEE
d Abstract) Heikki Mannila and Pirjo Ronkainen
FM
2009
Springer
15 years 5 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
AGP
1993
IEEE
15 years 3 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
CSL
2001
Springer
15 years 3 months ago
2001
Springer
act Look at Realizability Edmund Robinson and Guiseppe Rosolini Department of Computer Science Research Report No. RR-01-01 ISSN 1470-5559 March 2001
FASE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...