Publications Authored by Eric Van Wyk
| Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| Verifiable Parse Table Composition for Deterministic Parsing | October 2009 | 2nd International Conference on Software Language Engineering | |||
| Composable Language Extensions for Computational Geometry: a Case Study | January 2007 | 40th Hawaii International Conference on System Sciences | |||
| Verifiable Composition of Deterministic Grammars | June 2009 | ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) | |||
| Is an MVE the Right Environment for Your Visualization Application? | May 1995 | Computer Graphics, vol 29, num 2, May 1995. | |||
| Generating Model Checkers from Algebraic Specifications | May 2002 | Formal Methods in System Design, 20(3):249-284 | |||
| Context-Aware Scanning for Parsing Extensible Languages | October 2007 | GPCE 2007 - Intl. Conference on Generative Programming and Component Engineering | |||
| Universal Regular Path Queries | March 2003 | Higher Order and Symbolic Computation (HOSC) 16 (1-2): 15-35. A special issue dedicated to Bob Paige. | |||
| Compiler Optimization Correctness by Temporal Logic | September 2004 | Higher-Order and Symbolic Computation, 17 (3): 173-206 | |||
| An Algebraic Language Processing Environment | December 1997 | In Proc. 6th International Conference on Algebraic Methodology and Software Technology (AMAST). Springer Verlag Lecture Notes in Computer Science volume 1349 | |||
| Domain Specific Meta Languages | February 2000 | In Proc. of <a href="http://www.acm.org/conferences/sac/"> ACM Symposium on Applied Computing</a> |
