Narcissus: correct-by-construction derivation of decoders and encoders from binary formats
It is a neat result from functional programming that libraries ofparser combinatorscan support rapid construc-tion of decoders for quite a range of formats. With a little more work, the same combinator program can denoteboth a decoder and an encoder. Unfortunately, the real world is full of gnarly f...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Article |
Language: | English |
Published: |
Association for Computing Machinery (ACM)
2021
|
Online Access: | https://hdl.handle.net/1721.1/130006 |