Encoding and decoding in refinement algebra

Solin, Kim (2015). Encoding and decoding in refinement algebra. In: Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. 15th International Conference on Relational and Algebraic Methods in Computer Science, Braga, Portugal, (209-224). 28 September-1 October 2015. doi:10.1007/978-3-319-24704-5_13


Author Solin, Kim
Title of paper Encoding and decoding in refinement algebra
Conference name 15th International Conference on Relational and Algebraic Methods in Computer Science
Conference location Braga, Portugal
Conference dates 28 September-1 October 2015
Convener Jose N. Oliveira
Proceedings title Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings   Check publisher's open access policy
Journal name Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   Check publisher's open access policy
Series Lecture Notes in Computer Science
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2015
Sub-type Fully published paper
DOI 10.1007/978-3-319-24704-5_13
Open Access Status Not Open Access
ISBN 9783319247038
9783319247045
ISSN 1611-3349
1611-3349
Volume 9348
Start page 209
End page 224
Total pages 16
Chapter number 13
Total chapters 23
Language eng
Abstract/Summary Refinement algebras are axiomatic algebras for reasoning about programs in a total-correctness framework. We extend demonic and angelic refinement algebra with operators for encoding and decoding. Encoding gives one the least data refinement of a program with respect to a given data-refinement abstraction. Decoding gives one the greatest program that can be data refined into the decoded program with respect to a given abstraction statement. The resulting algebra is applied to reasoning about action systems.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status UQ

Document type: Conference Paper
Collections: Official 2016 Collection
School of Historical and Philosophical Inquiry
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Sun, 03 Jan 2016, 10:23:34 EST by System User on behalf of School of Historical and Philosophical Inquiry