Centrum voor Wiskunde en Informatica
|
Descargar SCORM
¡Sea el primero en solicitar este recurso!
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Centrum voor Wiskunde en Informatica
|
| Id. |
41884185 |
| Idioma |
inglés
|
| Titulo |
Centrum voor Wiskunde en Informatica |
| Autor(es) |
J. A. Bergstra,J. Heering
|
| Localización |
http://citeseer.ist.psu.edu/448760.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Although every computable data type has an initial algebra specification
with hidden functions, it may happen that some of the homomorphic
images of the data type are not models of the specification.
The latter are reducts of algebras that would be models of the specification
if all its functions were visible, whereas the homomorphic images
of the data type are independent of the specification and need not be
compatible with the hidden functions used in it. A hidden function
specification that does not exclude any of the homomorphic images
of its initial model from its model class will be called homomorphism
preserving. It turns out that, unlike unrestricted initial algebra specification,
homomorphism preserving initial algebra specification of computable
data types requires both hidden sorts and hidden functions.
1991 Mathematics Subject Classification: 08A70 [Algebraic structures
]: Applications of universal algebra in computer science; 68Q65
[Theory of computing]: Abstract data types; algebraic specification.
1991 CR Categories: D.3.3 [Programming languages]: Language
constructs and features - Abstract data types; F.3.2 [Logics and mean1
ings of programs]: Semantics of programming languages - Algebraic
approaches to semantics;
Key Words & Phrases: homomorphism preserving algebraic specification,
hidden function specification, model class semantics, reusability
of specifications.
Note: Supported in part by the European Communities under ESPRIT
Basic Research Action 7166 (CONCURII) and ESPRIT project 2177
(Generation of Interactive Programming Environments II---GIPE II).
1
|
| Tipo |
ps
|
| Palabras clave |
J. A. Bergstra,J. Heering Centrum voor Wiskunde en Informatica
|
| 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.cwi.nl/ftp/CWIreports/AP/CS-R9344.ps.Z
|
| 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.
|
|
|
|
