Exception Handling with Multi-Exit Statements

Authors:
Ralph-Johan Back
Affiliations:
-
Venue:
Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI
Year:
1980

Citing 0
Cited 2

Semantics and proof rules of invariant based programs

Proceedings of the 2011 ACM Symposium on Applied Computing
Invariant based programming

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract