By the same authors

From the same journal

A Demonstrably Correct Compiler

Research output: Contribution to journalArticle



Publication details

JournalFormal Asp. Comput.
DatePublished - 1991
Issue number1
Number of pages44
Pages (from-to)58-101
Original languageUndefined/Unknown


As critical applications grow in size and complexity, high level languages, rather than better-trusted assembly languages, will be used in their development. This adds potential for extra errors to creep in, especially in the now necessary compiler. To avoid these new errors, it is necessary to have a formal specification of the high level language, and a formal development of its compiler. We outline what we believe is a practical route for achieving a demonstrably correct compiler, and describe a prototype compiler we have built by this route for a small, but non-trivial, language.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations