Reasoning About Multi-Lingual Exception Handling Using RIPLS (Q5415618)
From MaRDI portal
scientific article; zbMATH DE number 6294818
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning About Multi-Lingual Exception Handling Using RIPLS |
scientific article; zbMATH DE number 6294818 |
Statements
Reasoning About Multi-Lingual Exception Handling Using RIPLS (English)
0 references
13 May 2014
0 references
exception handling
0 references
formal methods and software
0 references
multi-lingual programming
0 references
