Publications Authored by Eric Van Wyk
Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| A Formal Approach to Parallelizing Compilers | March 1997 | In Proc. of the 8th SIAM Conference on Parallel Processing for Scientific Computing held in Minneapolis, Minnesota March 14-17, 1997. | |||
| Adding Dimension Analysis to Java as a Composable Language Extension | July 2008 | Post-proceedings of Generative and Transformational Techniques in Software Engineering (GTTSE) | |||
| Adding Syntax and Static Analysis to Libraries via Extensible Compilers and Language Extensions | October 2006 | LCSD 2006 - Library Centric Software Development Workshop | |||
| Algebraic Implementation of Model Checking | March 1996 | In Proc. of the 3rd AMAST Workshop on Real-Time Systems held in Salt Lake City, Utah March 6-8 1996. | |||
| 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 | |||
| Aspect Oriented Compilers | September 1999 | In Proc. of the First International Symposium on Generative and Component-Based Software Engineering. Springer Verlag Lecture Notes in Computer Science vol. 1799 | |||
| 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 | |||
| Attribute Grammar-based Language Extensions for Java | July 2007 | In Proceedings of European Conference on Object Oriented Programming (ECOOP) | |||
| Compiler Optimization Correctness by Temporal Logic | September 2004 | Higher-Order and Symbolic Computation, 17 (3): 173-206 | |||
| Composable Language Extensions for Computational Geometry: a Case Study | January 2007 | 40th Hawaii International Conference on System Sciences |
