Sökning: onr:"swepub:oai:research.chalmers.se:aa29ace0-9153-4cb5-acf5-37184a64a469" >
Polytypic Compact P...
Polytypic Compact Printing and Parsing
-
- Jansson, Patrik, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
Jeuring, Johan, 1965 (författare)
-
(creator_code:org_t)
- 1999
- 1999
- Engelska.
-
Ingår i: European Symposium on Programming. ; 1576, s. 273-287
- Relaterad länk:
-
https://research.cha...
Abstract
Ämnesord
Stäng
- 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
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)