Reasoning About Multi-Lingual Exception Handling Using RIPLS

DOI10.1016/j.entcs.2008.04.061zbMath1286.68032OpenAlexW1992700900MaRDI QIDQ5415618

John V. E. Ridgway, Jack C. Wileden

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.061

zbMATH Keywords

exception handlingformal methods and softwaremulti-lingual programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• Isabelle/HOL

Cites Work

• Isabelle/HOL. A proof assistant for higher-order logic
• Operational semantics for multi-language programs

This page was built for publication: Reasoning About Multi-Lingual Exception Handling Using RIPLS