Hispanopedia WikiPeter David Mosses (nacido en 1948) es un científico informático británico.
Peter Mosses estudió matemáticas en el Trinity College de Oxford y, a principios de la década de 1970, realizó un doctorado bajo la supervisión de Christopher Strachey en el Grupo de Investigación de Programación en el Wolfson College de Oxford . Fue el último estudiante en presentar su tesis bajo la dirección de Strachey antes de su fallecimiento.
En 1978, Mosses publicó su compilador-compilador , el Sistema de Implementación Semántica (SIS), que utiliza una descripción semántica denotacional del lenguaje de entrada. [ 1 ]
Mosses ha desarrollado la mayor parte de su carrera en BRICS, Dinamarca. Posteriormente, regresó a una cátedra en la Universidad de Swansea , Gales . Su principal contribución se ha centrado en la semántica formal de programas . En particular, junto con David Watt, desarrolló la semántica de acciones , una combinación de semántica denotacional , operacional y algebraica .
Actualmente, Mosses es investigador visitante en la TU Delft , donde trabaja con el Grupo de Lenguajes de Programación.
Referencias
- ↑ Peter Mosses, "SIS: Un sistema generador de compiladores que utiliza semántica denotacional", Informe 78-4-3, Departamento de Ciencias de la Computación, Universidad de Aarhus, Dinamarca, junio de 1978.
Enlaces externos
- Página principal
- Peter D. Mosses en el servidor de bibliografía DBLP
- Personas vivas
- Antiguos alumnos del Trinity College de Oxford.
- Antiguos alumnos del Wolfson College de Oxford.
- Miembros del Departamento de Informática de la Universidad de Oxford.
- científicos informáticos británicos
- Académicos de la Universidad de Swansea
- Métodos formales personas
- Nacimientos en 1948
- Esbozos de biografías académicas británicas
- Esbozos de científico informático