Inicio Nosotros Búsquedas
Buscar en nuestra Base de Datos:     
Título: =Structuring Compilers Using Relational Semantics
Sólo un registro cumplió la condición especificada en la base de información BIBCYT.
No convencional
Autor: Da Silva., Favio Q favio@di.ufpe.br Oprima aquí para enviar un correo electrónico a esta dirección
Título: Structuring Compilers Using Relational Semantics
Código: R STR S55
Editorial: Mexico McGraw-Hill , MEXICO
Páginas/Colación: 12 p.; 28 cm
Tipo de impresión: Impreso
Idioma: Palabras: Español Español
Descriptor Temático: Palabras: COMPILADORES (CONSTRUCCION) COMPILADORES (CONSTRUCCION), Palabras: COMPUTACIÓN--MATEMÁTICA COMPUTACIÓN--MATEMÁTICA, Palabras: CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454 CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454
Información de ejemplaresEjemplares

Idioma: Palabras: Español Español
Descriptor Temático: Palabras: COMPILADORES (CONSTRUCCION) COMPILADORES (CONSTRUCCION), Palabras: COMPUTACIÓN--MATEMÁTICA COMPUTACIÓN--MATEMÁTICA, Palabras: CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454 CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454

Nota

TABLA DE CONTENIDO

Introduction

Relationa Semantics

A Compiler in Relational Semantics

Observational equivalencce and Compiler Correctness

Concluding Remarks

References

Descrip.

RESUMEN

We study the problem of establishing the correctness of compilers in the framework of observational equivalence [ST87]. The starting for correctness is a formal semantics of the programming language given in a form of Structural Operational Semantics [Plo81] wich we call Relational Semantics [dS92, Chapter 2]. We start by introducing Realtional Semantics. We then define an equivalence relation between Relational Semantics based on the notion of observational equivalence [ST87]. Finally, we use observational equivalence between a (standard) semantics of the programming language and another semantics defined using a compilation of the language into some machine code. this notion of equivalence defines a criterion for compiler correctness and we shall argue why this is a suitable criterion.

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno

Generados por el servidor 'bibcyt.ucla.edu.ve' (18.218.196.182)
Adaptive Server Anywhere (07.00.0000)
ODBC
Sesión="" Sesión anterior=""
 ejecutando Back-end Alejandría BE 7.0.7b0 ** * *
18.218.196.182 (NTM) bajo el ambiente Apache/2.2.4 (Win32) PHP/5.2.2.
usando una conexión ODBC (RowCount) al manejador de bases de datos..
Versión de la base de información BIBCYT: 7.0.0 (con listas invertidas [2.0])

Cliente: 18.218.196.182
Salida con Javascript
** Back-end Alejandría BE 7.0.7b0 *