fbpx
Wikipedia

Peter Mosses

Peter David Mosses (born 1948) is a British computer scientist.

Peter Mosses
Born1948 (age 75–76)
NationalityBritish
Scientific career
ThesisMathematical Semantics and Compiler Generation (1975)
Doctoral advisorChristopher Strachey
Dana Scott
Websitepdmosses.github.io

Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College, Oxford in the early 1970s. He was the last student to submit his thesis under Strachey before Strachey's death.

In 1978, Mosses published his compiler-compiler, the Semantic Implementation System (SIS), which uses a denotational semantics description of the input language.[1]

Mosses has spent most of his career at BRICS in Denmark. He returned to a chair at Swansea University, Wales. His main contribution has been in the area of formal program semantics. In particular, with David Watt he developed action semantics, a combination of denotational, operational and algebraic semantics.

Currently, Mosses is a visitor at TU Delft, working with the Programming Languages Group.

References edit

  1. ^ Peter Mosses, "SIS: A Compiler-Generator System Using Denotational Semantics," Report 78-4-3, Dept. of Computer Science, University of Aarhus, Denmark, June 1978

External links edit

  • Home page
  • Peter D. Mosses at DBLP Bibliography Server  


peter, mosses, peter, david, mosses, born, 1948, british, computer, scientist, born1948, nationalitybritishscientific, careerthesismathematical, semantics, compiler, generation, 1975, doctoral, advisorchristopher, stracheydana, scottwebsitepdmosses, github, st. Peter David Mosses born 1948 is a British computer scientist Peter MossesBorn1948 age 75 76 NationalityBritishScientific careerThesisMathematical Semantics and Compiler Generation 1975 Doctoral advisorChristopher StracheyDana ScottWebsitepdmosses wbr github wbr ioPeter Mosses studied mathematics as an undergraduate at Trinity College Oxford and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College Oxford in the early 1970s He was the last student to submit his thesis under Strachey before Strachey s death In 1978 Mosses published his compiler compiler the Semantic Implementation System SIS which uses a denotational semantics description of the input language 1 Mosses has spent most of his career at BRICS in Denmark He returned to a chair at Swansea University Wales His main contribution has been in the area of formal program semantics In particular with David Watt he developed action semantics a combination of denotational operational and algebraic semantics Currently Mosses is a visitor at TU Delft working with the Programming Languages Group References edit Peter Mosses SIS A Compiler Generator System Using Denotational Semantics Report 78 4 3 Dept of Computer Science University of Aarhus Denmark June 1978External links editHome page Peter D Mosses at DBLP Bibliography Server nbsp nbsp This biography article of a United Kingdom academic is a stub You can help Wikipedia by expanding it vte nbsp This article on a computer specialist of the United Kingdom is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Peter Mosses amp oldid 1098132783, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.