Exception Handling in CLU

DOI10.1109/TSE.1979.230191zbMath0428.68005MaRDI QIDQ3865421

Alan Snyder, Barbara Liskov

Publication date: 1979

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

programming languagesexception handlingstructured programmingCLUexit mechanisms

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (4)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ A Hoare-like verification system for a language with an exception handling mechanism ⋮ Exception tracking in an open world ⋮ As-if-serial exception handling semantics for Java futures

This page was built for publication: Exception Handling in CLU