A constructive logic behind the catch and throw mechanism

DOI10.1016/0168-0072(94)90087-6zbMath0815.03019OpenAlexW2077187450MaRDI QIDQ1337695

Hiroshi Nakano

Publication date: 8 November 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90087-6

zbMATH Keywords

abstract machineoperational semanticssequent calculusprogramming languageconstructive logicerror handlingcatch/throw mechanismproofs-as-programs notiontyping system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (2)

Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Strong normalizability of the non-deterministic catch/throw calculi

Uses Software

• LISP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• A syntactic theory of sequential control
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• The Mechanical Evaluation of Expressions
• Eine Darstellung der Intuitionistischen Logik in der Klassischen

This page was built for publication: A constructive logic behind the catch and throw mechanism