Logic Programs as Compact Denotations
|
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
|
|
|
Logic Programs as Compact Denotations
|
| Id. |
45652312 |
| Idioma |
inglés
|
| Titulo |
Logic Programs as Compact Denotations |
| Autor(es) |
Patricia M. Hill
Fausto Spoto
|
| Localización |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.9674
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This paper shows how logic programs can be used to implement the transition functions of denotational abstract interpretation. The logic variables express regularity in the abstract behaviour of commands. The technique has been applied to sign, class and escape analysis for object-oriented programs. We show that the time and space costs using logic programs for these analyses are smaller than those using a ground relational representation.
|
| Tipo |
application/postscript
|
| Palabras clave |
Logic programs
|
| 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://www.sci.univr.it/~spoto/clss03.ps.gz
[References] 10.1.1.1.5124
[References] 10.1.1.136.9764
[References] 10.1.1.27.9036
[References] 10.1.1.31.4989
[References] 10.1.1.47.3888
[References] 10.1.1.35.4855
[References] 10.1.1.60.886
[References] 10.1.1.1.7343
[References] 10.1.1.26.3950
[References] 10.1.1.39.8037
[References] 10.1.1.33.1595
[References] 10.1.1.1.5899
[References] 10.1.1.68.1778
[References] 10.1.1.58.8599
[References] 10.1.1.2.3746
|
| Fecha de contribución |
26-sep-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
