Publications Authored by Eric Van Wyk
| Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| Composable Language Extensions for Computational Geometry: a Case Study | January 2007 | 40th Hawaii International Conference on System Sciences | |||
| Adding Syntax and Static Analysis to Libraries via Extensible Compilers and Language Extensions | October 2006 | LCSD 2006 - Library Centric Software Development Workshop | |||
| Using Verified Data-flow Analysis-based Optimizations in Attribute Grammars | April 2006 | In Proc. of Compiler Optimization meets Compiler Verification Workshop. | |||
| Compiler Optimization Correctness by Temporal Logic | September 2004 | Higher-Order and Symbolic Computation, 17 (3): 173-206 | |||
| From Models to Efficient Code: It's All in the Middle. | May 2004 | Proceedings of the International Workshop on Software Engineering for High Performance Computing System (HPCS) Applications, Edinburgh, Scotland, May 2004. | |||
| Aspects as Modular Language Extensions | April 2003 | In Proc. of Language Descriptions, Tools and Applications (LDTA), (an ETAPS 2003 Workshop) volume 82.3 of Electronic Notes in Theoretical Computer Science. Elsevier Science | |||
| Universal Regular Path Queries | March 2003 | Higher Order and Symbolic Computation (HOSC) 16 (1-2): 15-35. A special issue dedicated to Bob Paige. | |||
| Specification languages in algebraic compilers | January 2003 | Theoretical Computer Science, 231(3):351--385 | |||
| Generating Model Checkers from Algebraic Specifications | May 2002 | Formal Methods in System Design, 20(3):249-284 | |||
| Forwarding in Attribute Grammars for Modular Language Design | April 2002 | In Proc. of International Conference on Compiler Construction, Springer Verlag Lecture Notes in Computer Science volume 2304. |
