Sökning: onr:"swepub:oai:research.chalmers.se:aa29ace0-9153-4cb5-acf5-37184a64a469" >
Polytypic Compact P...
-
Jansson, Patrik,1972Chalmers tekniska högskola,Chalmers University of Technology
(författare)
Polytypic Compact Printing and Parsing
- Artikel/kapitelEngelska1999
Förlag, utgivningsår, omfång ...
Nummerbeteckningar
-
LIBRIS-ID:oai:research.chalmers.se:aa29ace0-9153-4cb5-acf5-37184a64a469
-
https://research.chalmers.se/publication/10127URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:kon swepub-publicationtype
-
Ämneskategori:ref swepub-contenttype
Anmärkningar
-
A generic compact printer and a corresponding parser are constructed. These programs transform values of any regular datatype to and from a bit stream. The algorithms are constructed along with a proof that printing followed by parsing is the identity. Since the binary representation is very compact, the printer can be used for compressing data - possibly supplemented with some standard algorithm for compressing bit streams. The compact printer and the parser are described in the polytypic Haskell extension PolyP.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Jeuring, Johan,1965
(författare)
-
Chalmers tekniska högskola
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:European Symposium on Programming1576, s. 273-287
Internetlänk