Reasoning about Update 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
|
|
|
Reasoning about Update Logic
|
| Id. |
41683971 |
| Idioma |
inglés
|
| Titulo |
Reasoning about Update Logic |
| Localización |
http://citeseer.ist.psu.edu/248855.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Logical frameworks for analysing the dynamics of information processing abound [4, 5, 8,
10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation
process, some on the dynamics of the process of drawing inferences, and some do both of
these. Formalisms galore, so it is felt that some conceptual streamlining would pay off.
This paper is part of a larger scale enterprise to pursue the obvious parallel between
information processing and imperative programming. We demonstrate that logical tools from
theoretical computer science are relevant for the logic of information flow. More specifically,
we show that the perspective of Hoare logic [13, 18] can fruitfully be applied to the conceptual
simplification of information flow logics.
Part one of this program consisted of the analysis of `dynamic interpretation' in this
way, using the example of dynamic predicate logic [10]; the results were published in [7].
The present paper constitutes the second p...
|
| Tipo |
ps
|
| Palabras clave |
Reasoning about Update 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.etl.go.jp/~ferjan/Papers/up.ps
|
| 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.
|
|
|
|
