Roberto Giacobazzi, et al.  Home/Search
Context Related
| di.unipi.it/pub/Papers/gia...ic98.ps.gz profs.sci.univr.it/~giaco/...ic98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: strudel.di.unipi.it/p40/p...pubbl (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Domain Refinements Roberto Giacobazzi Dipartimento di Informatica Universit`a di Pisa Corso Italia 40, 56125 Pisa, Italy giaco@di.unipi.it Francesco Ranzato Dipartimento di Matematica Pura ed Applicata Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy franz@math.unipd.it Abstract The notion of uniform closure operator is introduced, and it is shown how this concept surfaces in two different areas of application of abstract interpretation, notably in semantics design for logic... (Update)
Cited by: More
Domain Compression for Complete Abstractions - Giacobazzi, Mastroeni (Correct)
Active bibliography (related documents): More All
0.9: Making Abstract Interpretations Complete - Giacobazzi, Ranzato (1997) (Correct)
0.6: Functional Compositions of Abstract Interpretations - Giacobazzi, al. (Correct)
0.6: Properties of Program Analysis Techniques - Burn (1993) (Correct)
Similar documents based on text: More All
1.1: Weak Relative Pseudo-Complements of Closure Operators - Giacobazzi, Palamidessi.. (1996) (Correct)
0.5: Complementing Logic Program Semantics - Roberto Giacobazzi Francesco (1996) (Correct)
0.5: On Abstraction in Software Verification - Cousot, Cousot (2002) (Correct)
BibTeX entry: (Update)
R. Giacobazzi and F. Ranzato. Uniform closures: order-theoretically reconstructing logic program semantics and abstract domain re nements. Inform. and Comput., 145(2):153-190, 1998. http://citeseer.ist.psu.edu/giacobazzi98uniform.html More
@article{ giacobazzi98uniform,
author = "Roberto Giacobazzi and Francesco Ranzato",
title = "Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements",
journal = "Information and Computation",
volume = "145",
number = "2",
pages = "153-190",
year = "1998",
url = "citeseer.ist.psu.edu/giacobazzi98uniform.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977 DBLP
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979 ACM DBLP
245 A Compendium of Continuous Lattices (context) - Gierz, Hofmann et al. - 1980
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot ACM DBLP
146 Introduction to logic programming (context) - Apt - 1990 ACM DBLP
128 Declarative modeling of the operational behavior of logic la.. (context) - Falaschi, Levi et al. - 1989 ACM DBLP
124 Lattice Theory (context) - Birkhoff - 1967
97 An introduction to inductive definitions (context) - Aczel - 1977
82 semantics approach: theory and applications (context) - Bossi, Gabbrielli et al. - 1994
77 Combinations of abstract domains for logic programming - Cortesi, Le Charlier et al. - 1994
75 semantics and abstract interpretation (context) - Cousot, Cousot
68 A model-theoretic reconstruction of the operational semantic.. (context) - Falaschi, Levi et al. - 1993
59 Combined determination of sharing and freeness of program va.. - Muthukumar, Hermenegildo - 1991 DBLP
57 A compositional semantics for logic programs (context) - Bossi, Gabbrielli et al. - 1994 ACM DBLP
48 A general framework for semantics-based bottom-up abstract i.. - Barbuti, Giacobazzi et al. - 1993 ACM DBLP
47 The meaning of negative premises in transition system specif.. (context) - Bol, Groote - 1996
37 Types as abstract interpretations (context) - Cousot ACM DBLP
33 Automatic generation and management of interprocedural progr.. - Yi, Harrison - 1993 ACM DBLP
30 Closures and fairness in the semantics of programming logic (context) - --, Maher - 1984 DBLP
29 Complementation in abstract interpretation (context) - Cortesi, Fil'e et al. - 1997
24 Laws of programming (context) - Hoare, Hayes et al. - 1987 ACM DBLP
20 Abstract interpretation (context) - Cousot - 1996 ACM DBLP
19 A unifying view of abstract domain design (context) - Fil'e, Giacobazzi et al. - 1996 ACM DBLP
17 Constructive design of a hierarchy of semantics of a transit.. - Cousot ACM DBLP
15 Functional dependencies and Moore-set completions of abstrac.. - Giacobazzi, Ranzato - 1995
15 Operational models of programming languages and representati.. (context) - Deutsch - 1992
12 Compositionality of SLD-derivations and their abstractions - Comini, Levi et al. - 1995
11 An abstract interpretation scheme for groundness (context) - Sundararajan, Conery - 1992
11 The powerset operator on abstract interpretations (context) - Fil'e, Ranzato - 1998 ACM DBLP
10 Basic transformation operations for logic programs which pre.. (context) - --, Cocco - 1993
9 Abstract interpretation using domain theory (context) - Nielson - 1984
7 the closure operators of a complete lattice (context) - Dwinger - 1954
6 A hierarchy of semantics for normal constraint logic program.. - Fages, Gori - 1996 ACM DBLP
6 Disjunctive program analysis for algebraic data types (context) - Jensen - 1997 ACM DBLP
6 Complementing logic program semantics - Giacobazzi, Ranzato - 1996 ACM DBLP
5 On complete congruences of complete lattices (context) - Morgado - 1962
5 Refining and compressing abstract domains (context) - Giacobazzi, Ranzato - 1997
3 Properties of the lattice of observables in logic programmin.. - Amato, Levi - 1997
2 Combinations of semantic analyses (context) - Granger - 1988
2 Equational closure operator and forbidden semidistributive l.. (context) - Adaricheva, Gorbunov - 1990
1 collecting semantics for analysis in a hierarchy of logic pr.. (context) - Sci, Optimal - 1996
1 Bottom-up abstract interpretation of logic programs (context) - Comput, -- et al. - 1994 ACM DBLP
1 Garc'ia de la Banda (context) - Comput, -- et al. - 1995
1 Some results on the closure operators of partially ordered s.. (context) - Sci, Morgado - 1960
1 An algebraic theory of observables (context) - interpretations, domains et al. - 1994 ACM DBLP
1 The closure operators of a lattice (context) - in, Science et al. - 1942
1 Optimal domains for disjunctive abstract interpretation (context) - Berlin, Giacobazzi et al. - 1998
Documents on the same site (http://strudel.di.unipi.it/p40/pubbl/pubbl.html): More
Static Analysis of Processes for No Read-Up and No.. - Bodei, Degano, Nielson.. (1999) (Correct)
Matching for the Lambda Calculus of Objects - Bono, Bugliesi (1998) (Correct)
An Algebra of Actors - Gaspari, Zavattaro (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC