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-02-26T16:02:49Z.
|
| Subjects: | |
| Online Access: | Get fulltext |