Report on CZT discussions at ZB2002
Ian Toyn · 2002
We hope that CZT[2] will enable the inter-operation of at least the following tools. Mark-up to Unicode translators (one per mark-up) Editors (of mark-up and Unicode) Unicode character database preprocessor (for efficiency of lexer) Lexer and parser Typechecker Browser/WYSIWYG interface Logical inferences, including schema expansion, animation, etc Test data generation Translators (to/from smv, alloy, B, Haskell, Prolog, etc) XML generator XML parsers (extracting annotated tree or unannotated tree) XML stylesheets (prettyprinting for human, projecting Unicode for lexer)