<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-10-03 15:29:06C POSIX library Uncompress Compress DEFLATE Tar Write End-of-file Stat Open Computing System software Software |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2014-10-03 15:29:06C POSIX library Uncompress Compress DEFLATE Tar Write End-of-file Stat Open Computing System software Software |
Add to Reading List |
Perl versiondocumentation - IO::Uncompress::Inflate NAME IO::Uncompress::Inflate - Read RFC 1950 files/buffers SYNOPSIS
![An implementation of Deflate in Coq arXiv:1609.01220v1 [cs.LO] 5 Sep 2016 Christoph-Simon Senjak and Martin Hofmann {christoph.senjak,hofmann}@ifi.lmu.de](https://www.pdfsearch.io/img/ded96fdb50af69db49d2c99869510b38.jpg "An implementation of Deflate in Coq arXiv:1609.01220v1 [cs.LO] 5 Sep 2016 Christoph-Simon Senjak and Martin Hofmann {christoph.senjak,hofmann}@ifi.lmu.de")
