Calculating an Exceptional Machine

QR Code

Calculating an Exceptional Machine

In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to verify, an abstract machine for this language. The key step is the use of Reynold's defunctionalization, an old program transformation technique th...

Full description

Bibliographic Details
Main Authors:	Hutton, Graham, Wright, Joel
Format:	Conference or Workshop Item
Published:	2005
Online Access:	https://eprints.nottingham.ac.uk/235/

Similar Items

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

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

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

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

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

Removability of exceptional sets for differentiable and Lipschitz functions
by: Craig, J., et al.
Published: (2015)

Exception handling
by: Khowaja, Kamran, et al.
Published: (2011)

Taking exception: Christopher Phelps challenges Jefferson Cowie’s The great exception
by: Phelps, Christopher, et al.
Published: (2017)

Suffering, Monstrosity, Exceptionality
by: Briggs, Robert
Published: (2025)

Sustainable machining process calculator
by: A. R., Yusoff, et al.
Published: (2018)

The inviolability of medical confidentiality:an analysis of the rules and exceptions
by: Jahn Kassim, Puteri Nemie, et al.
Published: (2016)

Law’s disappearance: the state of exception and the destruction of experience
by: Cercel, Cosmin Sebastian
Published: (2017)

The Exceptional Price Performance of Oil - Explanations and Prospects
by: Aguilera, Roberto F.
Published: (2019)

International Accounting Standard Setting and U.S. Exceptionalism
by: De Lange, Paul, et al.
Published: (2006)

Not Quite Australia: Asylum Seekers on an Exceptional Island
by: Briskman, Linda, et al.
Published: (2010)

Introduction: Heterochronotopes of exception and the frontiers and faultlines of citizenship
by: Perera, Suvendrini, et al.
Published: (2009)

Torturous Dialogues: Geographies of Trauma and Spaces of Exception
by: Perera, Suvendrini
Published: (2010)

The inviolability of medical confidentiality in Malaysia: an analysis of the rules and exceptions
by: Jahn Kassim, Puteri Nemie, et al.
Published: (2016)

Copyright Exceptions Beyond the Copyright Act 1968 (Cth)
by: Fitzgerald, B., et al.
Published: (2012)

Exceptional preservation of microbial lipids in Paleozoic to Mesoproterozoic sediments
by: Schwark, Lorenz
Published: (2013)

Exceptional preservation of palaeozoic steroids in a diagenetic continuum
by: Melendez, Ines, et al.
Published: (2013)

Exception handling for 5-stage pipeline micro-architecture
by: Puan, Arthur Chok Ho
Published: (2015)

Displacement of legal professional privilege: facilitation of crime or fraud exception
by: Shair Mohamad, Mohd Akram, et al.
Published: (2015)

American exceptionalism in parole release and supervision: a European perspective
by: Van Zyl Smit, Dirk, et al.
Published: (2016)

Oxygen-rich microporous carbons with exceptional hydrogen storage capacity
by: Blankenship, Troy Scott, et al.
Published: (2017)

The hearsay evidence and some of its exceptions / Abdul Aziz Mohamad
by: Mohamad, Abdul Aziz
Published: (1985)

The synchronized and exceptional price performance of oil and gold: Explanations and prospects
by: Aguilera, Roberto F.
Published: (2017)

Nonlinear Real Exchange Rate Behavior: Are the African Currencies Exceptional?
by: Anoruo, Emmanuel, et al.
Published: (2006)

The development of an exception scheme for 5-stage pipeline RISC processor
by: Goh, Jia Sheng
Published: (2019)

Performance calculation of high speed solid rotor induction machine
by: Papini, Luca
Published: (2018)

The Personal Property Securities Act 2009 (Cth) - Where is the fraud exception?
by: Widdup, Linda
Published: (2017)

Forging ahead: the role of resilience and reinvention in exceptional leadership in Malaysia and Indonesia
by: Yap Pei Shi,, et al.
Published: (2024)

Genetically exceptional?: women's experiences of being at risk of hereditary breast and ovarian cancer
by: Rowley, Emma
Published: (2005)

Exceptionally well-preserved cutin in extinct seed ferns (Carboniferous): Are these early angiosperms?
by: Tripp, M., et al.
Published: (2019)

The Faint "Heartbeats" of IGR J17091-3624: An Exceptional Black Hole Candidate
by: Altamirano, D., et al.
Published: (2011)

Calculation of the energetics of water incorporation in majorite garnet
by: Pigott, J., et al.
Published: (2015)

The Just War Tradition and the Moral Reality of War: A Principled Approach to Moral Exceptionalism
by: Ford, Shannon
Published: (2019)

Exceptional design in an iconic landscape? Interpretations of landscape and residential architecture in Dartmoor National Park
by: Tatum, Kirsten
Published: (2018)

Report on BCTCS 2005
by: Hutton, Graham
Published: (2005)

The Countdown Problem
by: Hutton, Graham
Published: (2002)