Departamento de
Traducción e Interpretación

BITRA. BIBLIOGRAFÍA DE INTERPRETACIÓN Y TRADUCCIÓN

 
Volver
 
Tema:   Automática.
Autor:   Li, Wei
Año:   1983
Título:   An operational approach to semantics and translation for programming languages
Lugar:   Edinburgh
https://www.era.lib.ed.ac.uk/bitstream/handle/1842/6636/Li1982.pdf?sequence=1&isAllowed=y
Editorial/Revista:   University of Edinburgh
Páginas:   320
Idioma:   Inglés.
Tipo:   Tesis.
Disponibilidad:   Acceso abierto.
Índice:   1. Labelled transition relations and operational semantics; 2. An operational semantics of CSP; 3. An operational semantics for Ada multitasking; 4. An operational semantics of Edison; 5. An operational translation theory; 6. Translating CSP into CCS; 7. A proposal for implementing Ada multitasking.
Resumen:   The problems of semantics and translation for concurrent programming languages are studied in this thesis. A structural operational approach is introduced to specify the semantics of parallelism and communication. Using this approach, semantics for the concurrent programming languages CSP (Hoare's Communicating Sequential Processes), multitasking and exception handling in Ada, Brinch-Hansen's Edison and CCS (Milner's Calculus of Communicating Systems) are defined and some of their properties are studied. An operational translation theory for concurrent programming languages is given. The concept of the correctness of a translation is formalised, the problem of composing transitions is studied and a composition theorem is proved. A set of sufficient conditions for proving the correctness of a translation is given. A syntax-directed translation from CSP to CCS is given and proved correct. Through this example the proof techniques of this approach is demonstrated. Finally, as an application of operational semantics and translation, a proposal for implementing multitasking in Ada is given via a two-step syntax-directed translation. [Source: Author]
Agradecimientos:   Record supplied by Departament de Traducció i Interpretació i Estudis de l'Àsia Oriental (Universitat Autònoma de Barcelona).
 
 
2001-2021 Universidad de Alicante DOI: 10.14198/bitra
Comentarios o sugerencias
La versión española de esta página es obra de Javier Franco
Nueva búsqueda
European Society for Translation Studies Ministerio de Educación Ivitra : Institut Virtual Internacional de Traducció asociación ibérica de estudios de traducción e interpretación