Compiling a 50-year journey

QR Code

Compiling a 50-year journey

Fifty years ago, John McCarthy and James Painter (1967) published the first paper on compiler verification, in which they showed how to formally prove the correctness of a compiler that translates arithmetic expressions into code for a register-based machine. In this article, we revisit this example...

Full description

Bibliographic Details
Main Authors:	Hutton, Graham, Bahr, Patrick
Format:	Article
Published:	Cambridge University Press 2017
Online Access:	https://eprints.nottingham.ac.uk/46962/

Similar Items

Calculating correct compilers
by: Bahr, Patrick, et al.
Published: (2015)

Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Compiling concurrency correctly: cutting out the middle man
by: Hu, Liyang, et al.
Published: (2010)

Cutting out continuations
by: Hutton, Graham, et al.
Published: (2016)

Compiler-compiler for an eight bit microprocessor
by: Kasmiran Jumari,, et al.
Published: (1991)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Incorporating Software Measurement Into a Compiler
by: Jamil Al Qutaish, Rafa Elayyan
Published: (1998)

Separate compilation of structured documents
by: Groves, Michael J., et al.
Published: (1993)

Compiling and executing Java code
by: Bhatti, Zeeshan, et al.
Published: (2011)

Malaysian constitution after 50 years
by: Bari, Abdul Aziz
Published: (2009)

Unfair Dismissal For Australian Workers: The Hundred-Year Journey
by: Southey, Kim
Published: (2015)

Changes in tropical cyclone activity over Northwest Western Australia in the past 50 years and a view of the future 50 years
by: Ren, Diandong, et al.
Published: (2015)

Compiling the business plan: financial plan
by: Weber, Paull
Published: (2008)

Ways to teach modelling—a 50 year study
by: Burkhardt, Hugh
Published: (2017)

USM 50 Years: Logo Usage Guidelines
by: CDH, Pusat Seni Reka Kreatif, et al.
Published: (2018)

Thinking Tools: navigating a 3-year PhD journey
by: Ibrahim, Rahinah
Published: (2020)

Compilation of Quranic verses related to visual function
by: Badarudin, Noor Ezailina, et al.
Published: (2016)

High-level language and compiler for reconfigurable computing
by: Hiew,, FS, et al.
Published: (2004)

Awg Tengah: compile academic findings into books
by: Malaysian Today
Published: (2002)

NEUCOMP2 - parallel neural network compiler
by: Sulaiman, Md. Nasir, et al.
Published: (1996)

Subject headings on Islam and the Muslims: a compilation according to LCSH
by: Suja', Balqis
Published: (2011)

A compilation of nanotechnology in thin film solar cell devices
by: Md Yunus, Nurul Amziah, et al.
Published: (2015)

A Compilation Of Various Research In Manufacturing Engineering Part 1
by: Sivarao, Subramonian, et al.
Published: (2011)

A Journey
by: Little, Trish
Published: (2011)

Compiling concurrency correctly: verifying software transactional memory
by: Hu, Liyang
Published: (2013)

Compilation of Malay criminological terms from online news
by: Lee, Joanna Chiew Ling *, et al.
Published: (2019)

Collecting and compiling: The activity of seeking pictures in primary school
by: Lundh, Anna Hampson, et al.
Published: (2012)

Speech Processing in FPGA with C-to-RTL Compiler Technology
by: Tang, Wei hong, et al.
Published: (2008)

Compilation of Social Media and Social Networking Sites Features
by: Ruzainisuhanaliza, Abdul Muni, et al.
Published: (2013)

Compilation of Parameter Control for Mapping the Potential Landslide Areas
by: Maha Agung, P. A., et al.
Published: (2023)

Compilation of Parameter Control for Mapping the Potential Landslide Area
by: Maha Agung, P. A., et al.
Published: (2023)

Compilation of Parameter Control for Mapping the Potential Landslide Areas
by: Maha Agung, P. A., et al.
Published: (2023)

Compiler-based prefetching algorithm for recursive data structure
by: Anuar, Nurulhaini
Published: (2007)

Journeys
by: Seeman, Annette
Published: (2012)

Midwives’ journey through the first year of a hospital based midwifery group practice
by: Barnett, L., et al.
Published: (2016)

Clinical and biological progress over 50 years in Rett syndrome
by: Leonard, H., et al.
Published: (2017)

50 years of Malaysian agriculture: transformational issues challenges & direction
by: Fatimah, Mohd Arshad, et al.
Published: (2007)

Mental health in the community – Malaysia: a 20-year journey of a family medicine consultant
by: Mohd Sidik, Sherina
Published: (2017)

Solving optimisation problems using NEUCOMP - a neural network compiler
by: Evans, D. J., et al.
Published: (1996)