A New Notion of Partial Correctness for Exception Handling. Sekerinski, E. & Zhang, T. In Bonakdarpour, B. & Maibaum, T., editors, Proceedings of the 2nd International Workshop on Logical Aspects of Fault-Tolerance, pages 116–132, June, 2011. Paper abstract bibtex We study the correctness of programs that use exception handling to deal with failures. A new notion of partial correctness is introduced for the design of programs that can continue safely after an unanticipated failure. Partial correctness is contrasted with total correctness though their verification rules. These rules are derived from a definition of statements with exceptions as higher order predicate transformers. The use of total and partial correctness is illustrated with three design patterns, rollback, degraded service, and recovery block.
@inproceedings{SekerinskiZhang11PartialCorrectness,
title = {A {New} {Notion} of {Partial} {Correctness} for {Exception} {Handling}},
copyright = {https://ece.uwaterloo.ca/ bbonakda/LAFT11/papers/proc.pdf},
url = {https://www.cas.mcmaster.ca/~emil/pubs/BonakdarpourMaibaum11LAFT.pdf},
abstract = {We study the correctness of programs that use exception handling to deal with failures. A new notion of partial correctness is introduced for the design of programs that can continue safely after an unanticipated failure. Partial correctness is contrasted with total correctness though their verification rules. These rules are derived from a definition of statements with exceptions as higher order predicate transformers. The use of total and partial correctness is illustrated with three design patterns, rollback, degraded service, and recovery block.},
booktitle = {Proceedings of the 2nd {International} {Workshop} on {Logical} {Aspects} of {Fault}-{Tolerance}},
author = {Sekerinski, Emil and Zhang, Tian},
editor = {Bonakdarpour, Borzoo and Maibaum, Tom},
month = jun,
year = {2011},
pages = {116--132},
}
Downloads: 0
{"_id":"ndBDjwurtkw67woWm","bibbaseid":"sekerinski-zhang-anewnotionofpartialcorrectnessforexceptionhandling-2011","author_short":["Sekerinski, E.","Zhang, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A New Notion of Partial Correctness for Exception Handling","copyright":"https://ece.uwaterloo.ca/ bbonakda/LAFT11/papers/proc.pdf","url":"https://www.cas.mcmaster.ca/~emil/pubs/BonakdarpourMaibaum11LAFT.pdf","abstract":"We study the correctness of programs that use exception handling to deal with failures. A new notion of partial correctness is introduced for the design of programs that can continue safely after an unanticipated failure. Partial correctness is contrasted with total correctness though their verification rules. These rules are derived from a definition of statements with exceptions as higher order predicate transformers. The use of total and partial correctness is illustrated with three design patterns, rollback, degraded service, and recovery block.","booktitle":"Proceedings of the 2nd International Workshop on Logical Aspects of Fault-Tolerance","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Zhang"],"firstnames":["Tian"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Bonakdarpour"],"firstnames":["Borzoo"],"suffixes":[]},{"propositions":[],"lastnames":["Maibaum"],"firstnames":["Tom"],"suffixes":[]}],"month":"June","year":"2011","pages":"116–132","bibtex":"@inproceedings{SekerinskiZhang11PartialCorrectness,\n\ttitle = {A {New} {Notion} of {Partial} {Correctness} for {Exception} {Handling}},\n\tcopyright = {https://ece.uwaterloo.ca/ bbonakda/LAFT11/papers/proc.pdf},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/BonakdarpourMaibaum11LAFT.pdf},\n\tabstract = {We study the correctness of programs that use exception handling to deal with failures. A new notion of partial correctness is introduced for the design of programs that can continue safely after an unanticipated failure. Partial correctness is contrasted with total correctness though their verification rules. These rules are derived from a definition of statements with exceptions as higher order predicate transformers. The use of total and partial correctness is illustrated with three design patterns, rollback, degraded service, and recovery block.},\n\tbooktitle = {Proceedings of the 2nd {International} {Workshop} on {Logical} {Aspects} of {Fault}-{Tolerance}},\n\tauthor = {Sekerinski, Emil and Zhang, Tian},\n\teditor = {Bonakdarpour, Borzoo and Maibaum, Tom},\n\tmonth = jun,\n\tyear = {2011},\n\tpages = {116--132},\n}\n\n","author_short":["Sekerinski, E.","Zhang, T."],"editor_short":["Bonakdarpour, B.","Maibaum, T."],"key":"SekerinskiZhang11PartialCorrectness","id":"SekerinskiZhang11PartialCorrectness","bibbaseid":"sekerinski-zhang-anewnotionofpartialcorrectnessforexceptionhandling-2011","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/BonakdarpourMaibaum11LAFT.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["new","notion","partial","correctness","exception","handling","sekerinski","zhang"],"title":"A New Notion of Partial Correctness for Exception Handling","year":2011}