The Underlying Logic of Hoare Logic
|
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
|
|
|
The Underlying Logic of Hoare Logic
|
| Id. |
41748840 |
| Idioma |
inglés
|
| Titulo |
The Underlying Logic of Hoare Logic |
| Autor(es) |
Yuri Gurevich,Andreas Blass
|
| Localización |
http://citeseer.ist.psu.edu/313699.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Formulas of Hoare logic are asserted programs # # # where # is a program
and #, # are assertions. The language of programs varies; in the survey
[Apt 1980], one finds the language of while programs and various extensions
of it. But the assertions are traditionally expressed in first-order logic
(or extensions of it). In that sense, first-order logic is the underlying logic
of Hoare logic. We question the tradition and demonstrate, on the simple
example of while programs, that alternative assertion logics have some advantages.
For some natural assertion logics, the expressivity hypothesis in
Cook's completeness theorem is automatically satisfied.
The readers of this column know Quisani, an inquisitive former student of one of
us. This conversation is somewhat di#erent because Quisani talks to both of the
authors at once. Taking into account the magnitudes of our literary talents, we
simplified the record of the conversation by blending the two authors into one who
prefers "we" ...
|
| Tipo |
ps
|
| Palabras clave |
Yuri Gurevich,Andreas Blass The Underlying Logic of Hoare Logic
|
| 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.research.microsoft.com/~gurevich/Opera/142.ps
|
| 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.
|
|
|
|
