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


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