Search Results for author: Sorawit Suriyakarn

Found 1 papers, 0 papers with code

Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats

no code implementations13 Mar 2018 Benjamin Delaware, Sorawit Suriyakarn, Clément Pit--Claudel, Qianchuan Ye, Adam Chlipala

It is a neat result from functional programming that libraries of parser combinators can support rapid construction of decoders for quite a range of formats.

Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.