Computational Logic in Australia
|
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
|
|
|
Computational Logic in Australia
|
| Id. |
41860339 |
| Idioma |
inglés
|
| Titulo |
Computational Logic in Australia |
| Localización |
http://citeseer.ist.psu.edu/424911.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
interpretation is a language-independent
theory for static analysis of programs. This theory
plays a prominent role in much work in the group,
since most sophisticated implementation ideas require
static analysis. The work contributes to the theory
generally, as well as its applications in functional and
logic programming, including sophisticated program
transformation.
Techniques are also being developed to dramatically
reduce the time and effort spent on debugging.
Traditional debugging techniques are based on following
the steps of program execution. With high-level
languages such as logic programming languages, the
sequence of execution steps can be very complex.
Declarative debugging is an interactive technique
that pinpoints errors using programmers' responses to
queries. The program, as a logical description of what
is to be computed, is held up against the programmer
's replies. By asking the programmer questions
or using a formal specification, the system can identify
precis...
|
| Tipo |
ps
|
| Palabras clave |
Computational Logic in Australia
|
| 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.cs.toronto.edu/~morri/Papers/cl.ps.gz
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
