A Logic for Variable Aliasing in Logic Programs
|
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
|
|
|
A Logic for Variable Aliasing in Logic Programs
|
| Id. |
41454934 |
| Idioma |
inglés
|
| Titulo |
A Logic for Variable Aliasing in Logic Programs |
| Autor(es) |
Elena Marchiori
|
| Localización |
http://citeseer.ist.psu.edu/20960.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
. This paper introduces a logic for a class of properties - in
particular variable aliasing - used in static analysis of logic programs.
The logic is shown to be sound, complete and decidable. Moreover, it is
illustrated how this logic can be applied to automatize some parts of the
reasoning when proving the partial correctness of a logic program.
1 Introduction
A number of properties of substitutions have been identified as crucial when
analyzing the run-time behaviour of logic programs. They involve groundness
and aliasing: for a substitution ff, a variable x is said to be ground if xff does
not contain variables; x and y are said to share, or to be aliasing if xff and yff have
at least a variable in common. These properties are relevant in static analysis
of logic programs. For instance, detection of groundness of certain variables of
the program at run-time allows to improve efficiency, by using matching instead
of unification. Also, if the arguments of two atoms at run-time do no...
|
| Tipo |
ps
|
| Palabras clave |
Elena Marchiori A Logic for Variable Aliasing in Logic Programs
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.cwi.nl/~elena/term.ps.gz
[References] oai:CiteSeerPSU:11639
[References] oai:CiteSeerPSU:12421
[References] oai:CiteSeerPSU:75555
|
| Fecha de contribución |
31-mar-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
