On a New Notion of Partial Refinement. Sekerinski, E. & Zhang, T. In Derrick, J., Boiten, E., & Reeves, S., editors, Proceedings of the 16th International Refinement Workshop, volume 115, of Electronic Proceedings in Theoretical Computer Science, pages 1 – 14, May, 2013. Open Publishing Association. Paper doi abstract bibtex Formal specification techniques allow expressing idealized specifications, which abstract from re- strictions that may arise in implementations. However, partial implementations are universal in soft- ware development due to practical limitations. Our goal is to contribute to a method of program refinement that allows for partial implementations. For programs with a normal and an exceptional exit, we propose a new notion of partial refinement which allows an implementation to terminate ex- ceptionally if the desired results cannot be achieved, provided the initial state is maintained. Partial refinement leads to a systematic method of developing programs with exception handling.
@inproceedings{SekerinskiZhang13PartialRefinement,
series = {Electronic {Proceedings} in {Theoretical} {Computer} {Science}},
title = {On a {New} {Notion} of {Partial} {Refinement}},
volume = {115},
url = {http://arxiv.org/abs/1305.6110v1},
doi = {10.4204/EPTCS.115.1},
abstract = {Formal specification techniques allow expressing idealized specifications, which abstract from re- strictions that may arise in implementations. However, partial implementations are universal in soft- ware development due to practical limitations. Our goal is to contribute to a method of program refinement that allows for partial implementations. For programs with a normal and an exceptional exit, we propose a new notion of partial refinement which allows an implementation to terminate ex- ceptionally if the desired results cannot be achieved, provided the initial state is maintained. Partial refinement leads to a systematic method of developing programs with exception handling.},
booktitle = {Proceedings of the 16th {International} {Refinement} {Workshop}},
publisher = {Open Publishing Association},
author = {Sekerinski, Emil and Zhang, Tian},
editor = {Derrick, John and Boiten, Eerke and Reeves, Steve},
month = may,
year = {2013},
pages = {1 -- 14},
}
Downloads: 0
{"_id":"gjwb5NyPGBaALPs9r","bibbaseid":"sekerinski-zhang-onanewnotionofpartialrefinement-2013","downloads":0,"creationDate":"2019-02-02T15:48:53.587Z","title":"On a New Notion of Partial Refinement","author_short":["Sekerinski, E.","Zhang, T."],"year":2013,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Electronic Proceedings in Theoretical Computer Science","title":"On a New Notion of Partial Refinement","volume":"115","url":"http://arxiv.org/abs/1305.6110v1","doi":"10.4204/EPTCS.115.1","abstract":"Formal specification techniques allow expressing idealized specifications, which abstract from re- strictions that may arise in implementations. However, partial implementations are universal in soft- ware development due to practical limitations. Our goal is to contribute to a method of program refinement that allows for partial implementations. For programs with a normal and an exceptional exit, we propose a new notion of partial refinement which allows an implementation to terminate ex- ceptionally if the desired results cannot be achieved, provided the initial state is maintained. Partial refinement leads to a systematic method of developing programs with exception handling.","booktitle":"Proceedings of the 16th International Refinement Workshop","publisher":"Open Publishing Association","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]},{"propositions":[],"lastnames":["Zhang"],"firstnames":["Tian"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Derrick"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Boiten"],"firstnames":["Eerke"],"suffixes":[]},{"propositions":[],"lastnames":["Reeves"],"firstnames":["Steve"],"suffixes":[]}],"month":"May","year":"2013","pages":"1 – 14","bibtex":"@inproceedings{SekerinskiZhang13PartialRefinement,\n\tseries = {Electronic {Proceedings} in {Theoretical} {Computer} {Science}},\n\ttitle = {On a {New} {Notion} of {Partial} {Refinement}},\n\tvolume = {115},\n\turl = {http://arxiv.org/abs/1305.6110v1},\n\tdoi = {10.4204/EPTCS.115.1},\n\tabstract = {Formal specification techniques allow expressing idealized specifications, which abstract from re- strictions that may arise in implementations. However, partial implementations are universal in soft- ware development due to practical limitations. Our goal is to contribute to a method of program refinement that allows for partial implementations. For programs with a normal and an exceptional exit, we propose a new notion of partial refinement which allows an implementation to terminate ex- ceptionally if the desired results cannot be achieved, provided the initial state is maintained. Partial refinement leads to a systematic method of developing programs with exception handling.},\n\tbooktitle = {Proceedings of the 16th {International} {Refinement} {Workshop}},\n\tpublisher = {Open Publishing Association},\n\tauthor = {Sekerinski, Emil and Zhang, Tian},\n\teditor = {Derrick, John and Boiten, Eerke and Reeves, Steve},\n\tmonth = may,\n\tyear = {2013},\n\tpages = {1 -- 14},\n}\n\n","author_short":["Sekerinski, E.","Zhang, T."],"editor_short":["Derrick, J.","Boiten, E.","Reeves, S."],"key":"SekerinskiZhang13PartialRefinement","id":"SekerinskiZhang13PartialRefinement","bibbaseid":"sekerinski-zhang-onanewnotionofpartialrefinement-2013","role":"author","urls":{"Paper":"http://arxiv.org/abs/1305.6110v1"},"metadata":{"authorlinks":{"sekerinski, e":"https://bibbase.org/show?bib=https%3A%2F%2Fapi.krunk.cn%2Femil%2Fbib.php"}},"downloads":0},"search_terms":["new","notion","partial","refinement","sekerinski","zhang"],"keywords":[],"authorIDs":["5d5141906acb07da0100009c","5deb78019e04d1df010000e0","5df0c9af96fa76de0100004a","5df1e05078da84de01000007","5e0152666afa18de01000079","5e14924f08c265de01000191","5e159bdce8bfcff201000064","5e1c7d5192587bde010001a6","5e1e0b00f6dca7f201000020","5e2827e2e6485dde01000035","5e288b4067e11edf01000130","5e2f394178a7cedf010000dc","5e34df5862bc74de010000f4","5e3c065bea028bde0100018f","5e4f908242a908de010000e9","5e585f852c2732de010001b4","5e5948def5822adf01000075","5e5d99be5726ecdf010000d1","5e600cdf13e3aede010001f5","5e69048f8457bade010002a1","5e6acf2ad15181f301000141","92uEQKMDcvvBMsZhM","Ge6aoqtpksMCtyrhL","YfeH5nK5eMWgp3gGy","anKewCA9AWgtndQzB","cwnpJhAGnLcWDSWqt","dochF8eFSd3jy8jcD","e6xvbhubvq5PtsszN","mixtvxbFoDFYKhAQq","oAZuP8sa3gmYvdqKk","qz4iM7vyMs82Hvx8j","wsgyLi66Pkv72928T","xset8hhxmqR8QvHh5"],"dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}