{"_id":"eMfxY849kWBN694Gg","bibbaseid":"sekerinski-zhang-anormalformformultiexitstatements-2011","author_short":["Sekerinski, E.","Zhang, T."],"bibdata":{"bibtype":"techreport","type":"CAS Technical Report","title":"A Normal Form for Multi-Exit Statements","url":"https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiZhang11NormalFormMultiExit.pdf","abstract":"For a class of statements, a normal form provides a uniform way for their formal specification. Control structures like exception handling introduce additional exit(s) of statements, and new normal forms as a consequence. In this paper, we give the normal forms of several classes of multi-exit statements, explore their algebraic properties, and discuss their potential of being utilized for the development of programs, where a postcondition for each exit is required. All the theorems have been checked with a formal verification tool.","institution":"McMaster University","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Zhang"],"firstnames":["Tian"],"suffixes":[]}],"year":"2011","pages":"16","bibtex":"@techreport{SekerinskiZhang11NormalFormMultiExit,\n\ttype = {{CAS} {Technical} {Report}},\n\ttitle = {A {Normal} {Form} for {Multi}-{Exit} {Statements}},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiZhang11NormalFormMultiExit.pdf},\n\tabstract = {For a class of statements, a normal form provides a uniform way for their formal specification. Control structures like exception handling introduce additional exit(s) of statements, and new normal forms as a consequence. In this paper, we give the normal forms of several classes of multi-exit statements, explore their algebraic properties, and discuss their potential of being utilized for the development of programs, where a postcondition for each exit is required. All the theorems have been checked with a formal verification tool.},\n\tinstitution = {McMaster University},\n\tauthor = {Sekerinski, Emil and Zhang, Tian},\n\tyear = {2011},\n\tpages = {16},\n}\n\n","author_short":["Sekerinski, E.","Zhang, T."],"key":"SekerinskiZhang11NormalFormMultiExit","id":"SekerinskiZhang11NormalFormMultiExit","bibbaseid":"sekerinski-zhang-anormalformformultiexitstatements-2011","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/SekerinskiZhang11NormalFormMultiExit.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["normal","form","multi","exit","statements","sekerinski","zhang"],"title":"A Normal Form for Multi-Exit Statements","year":2011}