Encoding, decoding and data refinement

DOI10.1007/S001650070008MaRDI QIDQ5944217zbMATH OpenOpenAlexFDO

Authors Ralph-Johan Back, Joakim von Wright

Publication date 26 June 2003

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650070008

zbMATH Keywords

data refinementpredicate transformer semantics

Mathematics Subject Classification ID

Data structures (68P05) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Recommendations

• Encoding and decoding in refinement algebra
• Data refinement by calculation
• scientific article; zbMATH DE number 3943003
• Laws of data refinement
• Some proofs of data refinement

Cited in

(15)

• Trace-based derivation of a scalable lock-free stack algorithm
• Programming interfaces and basic topology
• Data refinement of invariant based programs
• Encoding and decoding in refinement algebra
• Edmonds-Karp
• Refinement Monadic
• Flow Networks
• Deutsch Schorr Waite
• Gabow SCC
• Invariant diagrams with data refinement
• Prpu_Maxflow
• Probabilistic predicate transformers. II: Partially observable probability
• Formalization of Refinement Calculus for Reactive Systems
• ConcurrentHOL
• Algebra of Monotonic Boolean Transformers

This page was built for publication: Encoding, decoding and data refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5944217)