Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

Generic Pickling and Minimization

Guido Tack, Leif Kornstaedt, Gert Smolka

Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005), Vol. 148/2 of Electronic Notes in Theoretical Computer Science, pp. 79-103, Elsevier, March 2006

This paper presents generic pickling and minimization mechanisms that are provided as services similar to garbage collection. Pickling is used to externalize and internalize data. Minimization means to maximize the sharing in arbitrary data structures. The paper introduces the notion of an abstract store as a formal basis for the algorithms, and analyzes design decisions for the implementation aspects of pickling and minimization. The mechanisms presented here are fully implemented in the Alice programming system.

Download PDF        Show BibTeX               

@ARTICLE{TackEtAl:2006:Generic,
  title = {Generic Pickling and Minimization},
  author = {Guido Tack and Leif Kornstaedt and Gert Smolka},
  year = {2006},
  month = {Mar},
  editor = {{Benton, Nick and Leroy, Xavier}},
  publisher = {{Elsevier}},
  journal = {{Electronic Notes in Theoretical Computer Science}},
  booktitle = {Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005)},
  series = {{Electronic Notes in Theoretical Computer Science}},
  volume = {148/2},
  pages = {{79-103}},
  number = {2},
}

Login to edit