Object Protocols as Functional Parsers
No abstract available.
Related papers
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- ParDiff: Practical Static Differential Analysis of Network Protocol Parsers OOPSLA 2024
- Narcissus: correct-by-construction derivation of decoders and encoders from binary formats ICFP 2019
- Hardening attack surfaces with formally proven binary format parsers PLDI 2022
- Octopus: Practical Equivalence Checking of P4 Packet Parsers CAV 2026
- Packrats parse in packs Haskell 2017
- Delegating Compiler Objects: An Object-Oriented Approach to Crafting Compilers CC 1996
- Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors OOPSLA 1994