@inproceedings{Sekerinski93PredicativeProgramming,
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {A {Calculus} for {Predicative} {Programming}},
	volume = {669},
	doi = {10.1007/3-540-56625-2_20},
	abstract = {A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are well known from the specification language Z. All elements of a simple sequential programming notation are defined in terms of predicates. Hence programs form a subset of specifications. In particular, sequential composition is defined by ‘demonic composition’, non-deterministic choice by ‘demonic disjunction’, and iteration by fixed points. Laws are derived which allow proving equivalence and refinement of specifications and programs by a series of steps. The weakest precondition calculus is also included. The approach is compared to the predicative programming approach of E. Hehner and to other refinement calculi.},
	booktitle = {Mathematics of {Program} {Construction}},
	publisher = {Springer-Verlag},
	author = {Sekerinski, Emil},
	editor = {Bird, R. S. and Morgan, C. C. and Woodcock, J. C. P.},
	month = feb,
	year = {1993},
	keywords = {ISBN 3-540-56625-2},
	pages = {302--321},
}

{"_id":"7JR6dL7LixyyfWozA","bibbaseid":"sekerinski-acalculusforpredicativeprogramming-1993","author_short":["Sekerinski, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture Notes in Computer Science","title":"A Calculus for Predicative Programming","volume":"669","doi":"10.1007/3-540-56625-2_20","abstract":"A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are well known from the specification language Z. All elements of a simple sequential programming notation are defined in terms of predicates. Hence programs form a subset of specifications. In particular, sequential composition is defined by ‘demonic composition’, non-deterministic choice by ‘demonic disjunction’, and iteration by fixed points. Laws are derived which allow proving equivalence and refinement of specifications and programs by a series of steps. The weakest precondition calculus is also included. The approach is compared to the predicative programming approach of E. Hehner and to other refinement calculi.","booktitle":"Mathematics of Program Construction","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Bird"],"firstnames":["R.","S."],"suffixes":[]},{"propositions":[],"lastnames":["Morgan"],"firstnames":["C.","C."],"suffixes":[]},{"propositions":[],"lastnames":["Woodcock"],"firstnames":["J.","C.","P."],"suffixes":[]}],"month":"February","year":"1993","keywords":"ISBN 3-540-56625-2","pages":"302–321","bibtex":"@inproceedings{Sekerinski93PredicativeProgramming,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {A {Calculus} for {Predicative} {Programming}},\n\tvolume = {669},\n\tdoi = {10.1007/3-540-56625-2_20},\n\tabstract = {A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are well known from the specification language Z. All elements of a simple sequential programming notation are defined in terms of predicates. Hence programs form a subset of specifications. In particular, sequential composition is defined by ‘demonic composition’, non-deterministic choice by ‘demonic disjunction’, and iteration by fixed points. Laws are derived which allow proving equivalence and refinement of specifications and programs by a series of steps. The weakest precondition calculus is also included. The approach is compared to the predicative programming approach of E. Hehner and to other refinement calculi.},\n\tbooktitle = {Mathematics of {Program} {Construction}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Bird, R. S. and Morgan, C. C. and Woodcock, J. C. P.},\n\tmonth = feb,\n\tyear = {1993},\n\tkeywords = {ISBN 3-540-56625-2},\n\tpages = {302--321},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Bird, R. S.","Morgan, C. C.","Woodcock, J. C. P."],"key":"Sekerinski93PredicativeProgramming","id":"Sekerinski93PredicativeProgramming","bibbaseid":"sekerinski-acalculusforpredicativeprogramming-1993","role":"author","urls":{},"keyword":["ISBN 3-540-56625-2"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":["isbn 3-540-56625-2"],"search_terms":["calculus","predicative","programming","sekerinski"],"title":"A Calculus for Predicative Programming","year":1993}