ML 05 START ConferenceManager    

Generic Pickling and Minimization

Guido Tack, Leif Kornstaedt, Gert Smolka

The 2005 ACM SIGPLAN Workshop on ML (ML 05)
Tallinn, Estonia, September 29, 2005


Abstract

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 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.


  
START Conference Manager (V2.49.7)
Maintainer: rrgerber@softconf.com