Concepedia

Eric Van Wyk

EV

12

Publications

507

Citations

10

H-Index

1995

Active since

Affiliations

University of Minnesota(Current)

University of Oxford

University of Copenhagen

Eric Van Wyk is an author at University of Minnesota specializing in computer science, automated reasoning, and engineering.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationSyntaxProgram AnalysisSoftware AnalysisComputational LinguisticsGrammar

Publications per year

1995–2017

12

Publications

12

Silver: An extensible attribute grammar system

Eric Van Wyk, Derek Bodin, Jimin Gao et al. · Science of Computer Programming · 2009 · 161 citations

Natural Language Processing, Syntax, Engineering +9

Proving correctness of compiler optimizations by temporal logic

David Lacey, Neil D. Jones, Eric Van Wyk et al. · 2002 · 96 citations

Engineering, Verification, Rewrite Rules +20

Silver: an Extensible Attribute Grammar System

Eric Van Wyk, Derek Bodin, Jimin Gao et al. · Electronic Notes in Theoretical Computer Science · 2008 · 59 citations · Full text

Engineering, Software Engineering, Software Analysis +23

Universal Regular Path Queries

Oege de Moor, David Lacey, Eric Van Wyk · LISP and Symbolic Computation · 2003 · 46 citations

Compiler Optimization Correctness by Temporal Logic

David Lacey, Neil D. Jones, Eric Van Wyk et al. · Higher-Order and Symbolic Computation · 2004 · 39 citations · Full text

Engineering, Automated Reasoning, Program Analysis +9

Rows per page

1–5 of 12