Tabular Verification and Refinement. Sekerinski, E. In Derrick, J., Boiten, E., Woodcock, J., & Wright, J. v., editors, REFINE 2002, The BCS FACS Refinement Workshop, volume 70, of Electronic Notes in Theoretical Computer Science, pages 179–198, July, 2002. Elsevier. doi abstract bibtex Tabular representations have been proposed for structuring mathematical expressions as they appear in the specification of programs. The thesis of this work is that tables not only help in writing and checking complex expressions, but also in their formal manipulation. We consider tabular predicates and tabular relations and their use in program verification and refinement.
@inproceedings{Sekerinski02TabularVerificationRefinement,
series = {Electronic {Notes} in {Theoretical} {Computer} {Science}},
title = {Tabular {Verification} and {Refinement}},
volume = {70},
doi = {10.1016/S1571-0661(05)80492-X},
abstract = {Tabular representations have been proposed for structuring mathematical expressions as they appear in the specification of programs. The thesis of this work is that tables not only help in writing and checking complex expressions, but also in their formal manipulation. We consider tabular predicates and tabular relations and their use in program verification and refinement.},
booktitle = {{REFINE} 2002, {The} {BCS} {FACS} {Refinement} {Workshop}},
publisher = {Elsevier},
author = {Sekerinski, Emil},
editor = {Derrick, John and Boiten, Eerke and Woodcock, Jim and Wright, Joakim von},
month = jul,
year = {2002},
pages = {179--198},
}
Downloads: 0
{"_id":"M8q5CjF5xmmC2ZJb7","bibbaseid":"sekerinski-tabularverificationandrefinement-2002","downloads":0,"creationDate":"2019-02-02T15:48:53.594Z","title":"Tabular Verification and Refinement","author_short":["Sekerinski, E."],"year":2002,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Electronic Notes in Theoretical Computer Science","title":"Tabular Verification and Refinement","volume":"70","doi":"10.1016/S1571-0661(05)80492-X","abstract":"Tabular representations have been proposed for structuring mathematical expressions as they appear in the specification of programs. The thesis of this work is that tables not only help in writing and checking complex expressions, but also in their formal manipulation. We consider tabular predicates and tabular relations and their use in program verification and refinement.","booktitle":"REFINE 2002, The BCS FACS Refinement Workshop","publisher":"Elsevier","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Derrick"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Boiten"],"firstnames":["Eerke"],"suffixes":[]},{"propositions":[],"lastnames":["Woodcock"],"firstnames":["Jim"],"suffixes":[]},{"propositions":[],"lastnames":["Wright"],"firstnames":["Joakim","von"],"suffixes":[]}],"month":"July","year":"2002","pages":"179–198","bibtex":"@inproceedings{Sekerinski02TabularVerificationRefinement,\n\tseries = {Electronic {Notes} in {Theoretical} {Computer} {Science}},\n\ttitle = {Tabular {Verification} and {Refinement}},\n\tvolume = {70},\n\tdoi = {10.1016/S1571-0661(05)80492-X},\n\tabstract = {Tabular representations have been proposed for structuring mathematical expressions as they appear in the specification of programs. The thesis of this work is that tables not only help in writing and checking complex expressions, but also in their formal manipulation. We consider tabular predicates and tabular relations and their use in program verification and refinement.},\n\tbooktitle = {{REFINE} 2002, {The} {BCS} {FACS} {Refinement} {Workshop}},\n\tpublisher = {Elsevier},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Derrick, John and Boiten, Eerke and Woodcock, Jim and Wright, Joakim von},\n\tmonth = jul,\n\tyear = {2002},\n\tpages = {179--198},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Derrick, J.","Boiten, E.","Woodcock, J.","Wright, J. v."],"key":"Sekerinski02TabularVerificationRefinement","id":"Sekerinski02TabularVerificationRefinement","bibbaseid":"sekerinski-tabularverificationandrefinement-2002","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["tabular","verification","refinement","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}