next up previous
Next: Logical VariablesFeature Up: The Language Previous: Meta syntax

Persistence

While the syntax and meta-syntax formalisms of Prop are involved with transforming data structures to and from a textual external form, the persistence formalism is responsible for transformation to and from an binary form.



Allen Leung
Wed Mar 6 20:55:43 EST 1996