DC Field | Value | Language |
---|---|---|
dc.contributor.author | Yang, Hongseok | ko |
dc.contributor.author | Reddy, US | ko |
dc.date.accessioned | 2017-08-08T06:55:02Z | - |
dc.date.available | 2017-08-08T06:55:02Z | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.created | 2017-08-02 | - |
dc.date.issued | 2000 | - |
dc.identifier.citation | FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, v.1784, pp.359 - 374 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/10203/225306 | - |
dc.description.abstract | Refinement calculi for imperative programs provide an integrated framework for programs and specifications and allow one to develop programs from specifications in a systematic fashion, The semantics of these calculi has traditionally been defined in terms of predicate transformers and poses several challenges in defining a state transformer semantics in the denotational. style. We define a novel semantics in terms of sets of state transformers and prove it to be isomorphic to positively multiplicative predicate transformers. This semantics disagrees with the traditional semantics in some places and the consequences of the disagreement are analyzed. | - |
dc.language | English | - |
dc.publisher | SPRINGER-VERLAG BERLIN | - |
dc.title | On the semantics of refinement calculi | - |
dc.type | Article | - |
dc.identifier.wosid | 000171864300024 | - |
dc.identifier.scopusid | 2-s2.0-23044518170 | - |
dc.type.rims | ART | - |
dc.citation.volume | 1784 | - |
dc.citation.beginningpage | 359 | - |
dc.citation.endingpage | 374 | - |
dc.citation.publicationname | FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES | - |
dc.contributor.localauthor | Yang, Hongseok | - |
dc.contributor.nonIdAuthor | Reddy, US | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article; Proceedings Paper | - |
dc.subject.keywordPlus | PREDICATE TRANSFORMERS | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.