CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Polytypic Compact Printing and Parsing

Patrik Jansson (Institutionen för datavetenskap, Funktionell programmering ; Institutionen för datavetenskap, Programmeringslogik) ; Johan Jeuring
European Symposium on Programming Vol. 1576 (1999), p. 273-287.
[Konferensbidrag, refereegranskat]

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.


Superceeded by Jansson, Jeuring, Polytypic Data Conversion Programs, SCP 2002, [CPL 10124].



Denna post skapades 2006-10-09. Senast ändrad 2014-09-02.
CPL Pubid: 10127

 

Institutioner (Chalmers)

Institutionen för datavetenskap, Funktionell programmering (2002-2004)
Institutionen för datavetenskap, Programmeringslogik (2002-2004)

Ämnesområden

Teoretisk datalogi
Datalogi

Chalmers infrastruktur