The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eric Van Wyk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eric Van Wyk
    Meta Languages in Algebraic Compilers. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:119-134 [Conf]
  2. Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima
    An Algebraic Language Processing Environment. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:581-585 [Conf]
  3. Teodor Rus, Eric Van Wyk
    Integrating Temporal Logics and Model Checking Algorithms. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:95-110 [Conf]
  4. Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski
    Forwarding in Attribute Grammars for Modular Language Design. [Citation Graph (0, 0)][DBLP]
    CC, 2002, pp:128-142 [Conf]
  5. Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk
    Aspect-Oriented Compilers. [Citation Graph (0, 0)][DBLP]
    GCSE, 1999, pp:121-133 [Conf]
  6. David F. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan
    Genomic computing networks learn complex POMDPs. [Citation Graph (0, 0)][DBLP]
    GECCO, 2006, pp:233-234 [Conf]
  7. Eric Van Wyk, Eric Johnson
    Composable Language Extensions for Computational Geometry: A Case Study. [Citation Graph (0, 0)][DBLP]
    HICSS, 2007, pp:258- [Conf]
  8. Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson
    Adding domain-specific and general purpose language features to Java with the Java language extender. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:728-729 [Conf]
  9. David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
    Proving correctness of compiler optimizations by temporal logic. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:283-294 [Conf]
  10. Teodor Rus, Eric Van Wyk
    A Formal Approach to Parallelizing Compilers. [Citation Graph (0, 0)][DBLP]
    PPSC, 1997, pp:- [Conf]
  11. Eric Van Wyk
    Domain Specific Meta Languages. [Citation Graph (0, 0)][DBLP]
    SAC (2), 2000, pp:799-803 [Conf]
  12. Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell
    Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C. [Citation Graph (0, 0)][DBLP]
    SCAM, 2006, pp:161- [Conf]
  13. Görel Hedin, Eric Van Wyk
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:110, n:, pp:1-2 [Journal]
  14. Eric Van Wyk
    Aspects as Modular Language Extensions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:3, pp:- [Journal]
  15. Teodor Rus, Eric Van Wyk, Tom Halverson
    Generating Model Checkers from Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:3, pp:249-284 [Journal]
  16. David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
    Compiler Optimization Correctness by Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:173-206 [Journal]
  17. Oege de Moor, David Lacey, Eric Van Wyk
    Universal Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:15-35 [Journal]
  18. Teodor Rus, Eric Van Wyk
    Using Model Checking in a Parallelizing Compiler. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1998, v:8, n:4, pp:459-471 [Journal]
  19. Görel Hedin, Eric Van Wyk
    Preface. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:61, n:3, pp:189- [Journal]
  20. Eric Van Wyk
    Specification languages in algebraic compilers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:291, n:3, pp:351-385 [Journal]
  21. Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger
    Attribute Grammar-Based Language Extensions for Java. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:575-599 [Conf]
  22. Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
    Flexible and Extensible Notations for Modeling Languages. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:102-116 [Conf]
  23. Eric Van Wyk, Lijesh Krishnan
    Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:176, n:3, pp:109-122 [Journal]
  24. Eric Van Wyk
    Implementing aspect-oriented programming constructs as modular language extensions. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:68, n:1, pp:38-61 [Journal]

  25. Context-aware scanning for parsing extensible languages. [Citation Graph (, )][DBLP]


  26. Verifiable composition of deterministic grammars. [Citation Graph (, )][DBLP]


  27. Adding Dimension Analysis to Java as a Composable Language Extension. [Citation Graph (, )][DBLP]


  28. Verifiable Parse Table Composition for Deterministic Parsing. [Citation Graph (, )][DBLP]


  29. Extending Lustre with Timeout Automata. [Citation Graph (, )][DBLP]


  30. Silver: an Extensible Attribute Grammar System. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002