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. |
41887675 |
| Idioma |
inglés
|
| Titulo |
Centrum voor Wiskunde en Informatica |
| Autor(es) |
J. Heering
|
| Localización |
http://citeseer.ist.psu.edu/452190.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Higher-order algebraic specification is a synthesis of first-order algebraic
specification and higher-order functional programming which
is both logically appealing as well as considerably more expressive than
its two predecessors. To illustrate this, we describe the static semantics
of a simple block-structured programming language using secondorder
equations in addition to first-order ones. The specification has
a highly non-deterministic character and does not use a type environment.
Furthermore, it supports error recovery and early detection of
errors in incomplete programs.
1991 Mathematics Subject Classification: 68Q65 [Theory of computing
]: Abstract data types; algebraic specification.
1991 CR Categories: F.3.2 [Logics and meanings of programs]:
Semantics of programming languages - Algebraic approaches to semantics.
Key Words & Phrases: higher-order algebraic specification, static semantics,
non-deterministic specification.
Note: Supported in part by the European Communities under ESPRIT
project 2177 (Generation of Interactive Programming Environments
II---GIPE II).
1
1
|
| Tipo |
ps
|
| Palabras clave |
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-R9254.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.
|
|
|
|
