Every bit counts: The binary representation of typed data and programs

DOI10.1017/S0956796812000263zbMath1252.68086OpenAlexW2105450475MaRDI QIDQ3165525

Andrew J. Kennedy, Dimitrios Vytiniotis

Publication date: 29 October 2012

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796812000263

zbMATH Keywords

binary encodingbinary decodingtyped datatyped programs

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Data structures (68P05)

Uses Software

• Coq
• QuickCheck

Cites Work

• Axioms and hulls
• Bit-coded Regular Expression Parsing
• FUNCTIONAL PEARL Pickler combinators
• Oracle-based checking of untrusted software
• Functional Correctness Proofs of Encryption Algorithms
• Arithmetic Coding with Folds and Unfolds

This page was built for publication: Every bit counts: The binary representation of typed data and programs