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. |
41880956 |
| Idioma |
inglés
|
| Titulo |
Centrum voor Wiskunde en Informatica |
| Autor(es) |
A. Van Deursen,Arie Van Deursen
|
| Localización |
http://citeseer.ist.psu.edu/445528.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Algebraic specifications of programming languages can be used to generate language-specific programming
support tools. Some of these can be obtained in a straightforward way by executing language specifications
as term rewriting systems. More advanced tools can be obtained if the term rewriting machinery is extended
with origin tracking . Origin tracking is a technique which automatically establishes a relation between
subterms of the result value (normal form) and their origins , which are subterms of the initial term.
For specifications having a syntax-directed nature, as formalized by the class of so-called primitive
recursive schemes, high-quality origins can be established. The definition, properties, extensions, and
implementation of these so-called syntax-directed origins are discussed.
AMS Subject Classification (1991): 68N20, 68Q55, 68Q65.
CR Subject Classification (1991): D.2.5, D.2.6, D.3.4, F.3.2.
Keywords & Phrases: Algebraic specifications, programming language semantics, programming
environments, program generation, origin tracking, program schemes, primitive recursion.
Note: Partial support has been received from the European Communities under ESPRIT project 2177
(Generation of Interactive Programming Environments II: GIPE II) and from the Netherlands Organization
for Scientific Research (NWO), project Incremental Program Generators.
1.
|
| Tipo |
ps
|
| Palabras clave |
A. Van Deursen,Arie Van Deursen 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-R9401.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.
|
|
|
|
