Deriving encoder-decoder pairs from declarative format descriptions.
- “Narcissus: correct-by-construction derivation of decoders and encoders from binary formats” [doi:10.1145/3341686]
lang-narcissus
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||