Logic Frameworks for 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
|
|
|
Logic Frameworks for Logic Programs
|
| Id. |
41604665 |
| Idioma |
inglés
|
| Titulo |
Logic Frameworks for Logic Programs |
| Autor(es) |
David A. Basin
|
| Localización |
http://citeseer.ist.psu.edu/169548.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
. We show how logical frameworks can provide a basis for logic
program synthesis. With them, we may use first-order logic as a foundation
to formalize and derive rules that constitute program development calculi.
Derived rules may be in turn applied to synthesize logic programs using
higher-order resolution during proof that programs meet their specifications.
We illustrate this using Paulson's Isabelle system to derive and use a simple
synthesis calculus based on equivalence preserving transformations.
1 Introduction
Background
In 1969 Dana Scott developed his Logic for Computable Functions and with it a
model of functional program computation. Motivated by this model, Robin Milner
developed the theorem prover LCF whose logic PP used Scott's theory to reason
about program correctness. The LCF project [13] established a paradigm of
formalizing a programming logic on a machine and using it to formalize different
theories of functional programs (e.g., strict and lazy evaluation) and the...
|
| Tipo |
ps
|
| Palabras clave |
David A. Basin Logic Frameworks for 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.informatik.uni-freiburg.de/~basin/pubs/lopstr94.ps.Z
[References] oai:CiteSeerPSU:95761
[References] oai:CiteSeerPSU:142659
[References] oai:CiteSeerPSU:537720
[References] oai:CiteSeerPSU:281128
[References] oai:CiteSeerPSU:266721
[References] oai:CiteSeerPSU:123713
[References] oai:CiteSeerPSU:161363
[References] oai:CiteSeerPSU:370413
[References] oai:CiteSeerPSU:87586
[References] oai:CiteSeerPSU:54955
|
| 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.
|
|
|
|
