The replacement model for modular verifiable exception handling

Authors:
Shaula Yemini
Affiliations:
-
Venue:
The replacement model for modular verifiable exception handling
Year:
1980

Citing 0
Cited 3

A modular verifiable exception handling mechanism

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
An axiomatic treatment of exception handling in an expression-oriented language

ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic treatment of exception handling

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract