Results 101 to 104 of about 1,131 (104)

Narcissus: correct-by-construction derivation of decoders and encoders from binary formats

2019
Clément Pit-Claudel
exaly  

Combinator Parsing: A Short Tutorial

Lecture Notes in Computer Science, 2009
exaly  

The Pitfalls of Protocol Design: Attempting to Write a Formally Verified PDF Parser

2014
exaly  

Combinator Parsers: a short tutorial

2009
openaire   +1 more source