Calculating correct compilers

QR Code

Calculating correct compilers

In this article we present a new approach to the problem of calculating compilers. In particular, we develop a simple but general technique that allows us to derive correct compilers from high- level semantics by systematic calculation, with all details of the implementation of the compilers falling...

Full description

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

Similar Items

Compiling a 50-year journey
by: Hutton, Graham, et al.
Published: (2017)

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

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

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

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

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

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

Calculating an exceptional machine
by: Hutton, Graham, et al.
Published: (2006)

Calculating an Exceptional Machine
by: Hutton, Graham, et al.
Published: (2005)

A Calculational Theory of Pers as Types
by: Hutton, Graham, et al.
Published: (1992)

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)

Transmittance calculations in the meris case 1 waters atmospheric corrections
by: Antoine, David
Published: (2008)

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)

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

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

Calculated structures and energies of molecular crystals using dispersion corrected density functionals
by: Carter, Damien, et al.
Published: (2014)

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)

Compiler development : Semester II 2009/2010

Compiler development : Semester II 2008/2009

Compiler Development : Semester II 2012/2013

Compiler development : Semester II 2011/2012

van der Waals corrected density functional calculations of the adsorption of benzene on the Cu (111) surface
by: Carter, Damien, et al.
Published: (2014)

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)

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

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

Development Of An Automated Compilation Test System For Embedded System Testing
by: Ooi , Jun Hwan
Published: (2016)

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

A Poetic Compilation of the Most Important Appendages of Narrators and Heritages