Safe Serialization Under Mutual Suspicion/"Reversing" Evaluation
From Erights
(Difference between revisions)
(first version only has link to the original) |
(first paragraph added) |
||
| Line 1: | Line 1: | ||
| + | As we've seen, we make serializers, unserializers, and other transformers | ||
| + | like expression simplifiers by composing a recognizer with a builder. | ||
| + | The interface between the two is the DEBuilder API, explained in [http://www.erights.org/data/serial/jhu-paper/data-e-manual.html Appendix A: The Data-E Manual]. | ||
| + | Since most of the API is a straightforward reflection of the Data-E grammar productions, if you wish, you may safely skip these details and proceed here by example. | ||
| + | |||
[http://www.erights.org/data/serial/jhu-paper/recog-n-build.html Part 2: "Reversing" Evaluation] | [http://www.erights.org/data/serial/jhu-paper/recog-n-build.html Part 2: "Reversing" Evaluation] | ||
Revision as of 06:09, 29 January 2008
As we've seen, we make serializers, unserializers, and other transformers like expression simplifiers by composing a recognizer with a builder. The interface between the two is the DEBuilder API, explained in Appendix A: The Data-E Manual. Since most of the API is a straightforward reflection of the Data-E grammar productions, if you wish, you may safely skip these details and proceed here by example.
