Centrum voor Wiskunde en Informatica
|
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
|
|
|
Centrum voor Wiskunde en Informatica
|
| Id. |
41783034 |
| Idioma |
inglés
|
| Titulo |
Centrum voor Wiskunde en Informatica |
| Autor(es) |
E. Marchiori,Elena Marchiori
|
| Localización |
http://citeseer.ist.psu.edu/347674.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.
1991 Mathematics Subject Classification: 68Q40, 68Q60, 68T15.
1991 CR Categories: F.3.1, F.4.1, I.2.3.
Keywords and Phrases: Properties of substitutions, static analysis of logic programs.
Notes: This research was partly supported by Esprit BRA 6810 (Compulog 2). This paper will
appear (in a sligthly different version) in: Proceedings of the Fourth International Conference
on Algebraic and Logic Programming.
1 Introduction
A number of properties of substitutions have been identified as crucial when analyzing the runtime
behaviour of logic programs. They involve groundness and aliasing: for a substitution ff, a
variable x is said to b...
|
| Tipo |
ps
|
| Palabras clave |
E. Marchiori,Elena Marchiori Centrum voor Wiskunde en Informatica
|
| 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] ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9446.ps.Z
|
| 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.
|
|
|
|
