Properties of the Lattice of Observables in Logic Programming
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Properties of the Lattice of Observables in Logic Programming
|
| Id. |
46896374 |
| Idioma |
inglés
|
| Titulo |
Properties of the Lattice of Observables in Logic Programming |
| Autor(es) |
Gianluca Amato
Giorgio Levi
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.8492
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We show several properties of the abstract interpretation settings regarding relationships between precision of semantic operators and abstract domains composition. Then, we apply these results to the framework for logic programs introduced in [3], extended with the new class of operational observables. We prove that the classes of perfect, denotational and operational observables are complete lattices and we discuss some problems that arise studying them. Finally, we show how to use functional dependencies to systematically derive new domains in which our semantic operators enjoy desired precision properties. keywords: logic programming, semantics, compositionality, abstract interpretation, abstract semantics. 1 Introduction Our goal is showing several useful properties enjoyed by the lattice of abstractions introduced in [3] and subsequently developed in [17], [4] and [5]. In these papers, an operational top-down and a denotational bottom-up semantics for positive logic programs are...
|
| Tipo |
application/postscript
|
| Palabras clave |
logic programming
|
| Tipo de recurso |
Texto Narrativo
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Formatos |
application/postscript
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://strudel.di.unipi.it/papers/./sub-11305-900336792/gulp_final.ps.gz
[References] 10.1.1.79.3134
[References] 10.1.1.79.1024
[References] 10.1.1.119.8324
[References] 10.1.1.52.3712
[References] 10.1.1.25.1200
[References] 10.1.1.131.997
[References] 10.1.1.131.997
[References] 10.1.1.56.5346
[References] 10.1.1.36.2353
[References] 10.1.1.81.251
[References] 10.1.1.82.2
[References] 10.1.1.116.8566
|
| Fecha de contribución |
13-ago-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
