BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × France
1 × Ireland
1 × Sweden
3 × Germany
3 × Portugal
4 × USA
Collaborated with:
T.Kaminski L.Krishnan A.Schwerdfeger ∅ L.Kramer D.Bodin J.Gao T.Carlson O.d.Moor K.Williams Y.Mali M.P.E.Heimdahl S.L.P.Jones P.Martins J.Saraiva J.P.Fernandes K.Backhouse P.Kwiatkowski D.Lacey N.D.Jones C.C.Frederiksen E.Johnson P.Russell
Talks about:
languag (15) extens (15) grammar (12) attribut (11) modular (6) composit (3) program (3) analysi (3) silver (3) compos (3)

♂ Person: Eric Van Wyk

DBLP DBLP: Wyk:Eric_Van

Facilitated 32 volumes:

GTTSE 2015SciCo
SLE 2015SCo
SLE 2014PrCo
SLE 2014SaEventsCh
SLE 2014SCo
SLE 2014WoCh
SLE 2013Ed
SLE 2013GCh
SLE 2013SCo
LDTA 2012SCo
SLE 2012PrCo
GTTSE 2011EarlyResearchTrackCh
GTTSE 2011SciCo
GTTSE 2011WoCh
ICMT 2011PrCo
LDTA 2011Ed
LDTA 2011PrCh
LDTA 2011SCo
SCP, 2014Ed
SLE 2011DSCh
SLE 2011PrCo
SLE 2010DSCh
SLE 2008Ed
SLE 2008PrCh
SLE 2008SCo
GTTSE 2007SciCo
LDTA 2006OCo
GTTSE 2005SciCo
LDTA 2005OCo
LDTA 2004PrCh
SCP, 2006Ed
GPCE 2018Ed

Contributed to:

PEPM 20142014
SLE 20142014
SLE 20122012
SCP, 20142014
SLE 20112011
PLDI 20092009
SLE 20092009
ECOOP 20072007
FASE 20072007
GPCE 20072007
GTTSE 20072007
LDTA 20072008
SCP, 20102010
SCAM 20062006
LDTA 20032003
SCP, 20072007
CC 20022002
POPL 20022002
SAC 20002000
GCSE 19991999
SLE 20172017
GPCE 20172017
GPCE 20192019
OOPSLA 20172017

Wrote 26 papers:

PEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative #grammarware
Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
SLE-2014-WilliamsW #attribute grammar
Origin Tracking in Attribute Grammars (KW, EVW), pp. 282–301.
SLE-2012-KaminskiW #analysis #attribute grammar #composition
Modular Well-Definedness Analysis for Attribute Grammars (TK, EVW), pp. 352–371.
SLE-2012-KrishnanW #analysis #attribute grammar #higher-order #termination
Termination Analysis for Higher-Order Attribute Grammars (LK, EVW), pp. 44–63.
SLE-J-2012-KrishnanW #analysis #attribute grammar #composition #higher-order #termination
Monolithic and modular termination analyses for higher-order attribute grammars (LK, EVW), pp. 511–526.
SLE-2011-KaminskiW #attribute grammar #functional #programming language
Integrating Attribute Grammar and Functional Programming Language Features (TK, EVW), pp. 263–282.
PLDI-2009-SchwerdfegerW #composition
Verifiable composition of deterministic grammars (AS, EVW), pp. 199–210.
SLE-2009-SchwerdfegerW #composition #parsing
Verifiable Parse Table Composition for Deterministic Parsing (AS, EVW), pp. 184–203.
ECOOP-2007-WykKBS #attribute grammar #grammarware #java
Attribute Grammar-Based Language Extensions for Java (EVW, LK, DB, AS), pp. 575–599.
FASE-2007-GaoHW #flexibility #modelling
Flexible and Extensible Notations for Modeling Languages (JG, MPEH, EVW), pp. 102–116.
GPCE-2007-WykS #parsing
Context-aware scanning for parsing extensible languages (EVW, AS), pp. 63–72.
GTTSE-2007-WykM #analysis #composition #java
Adding Dimension Analysis to Java as a Composable Language Extension (EVW, YM), pp. 442–456.
LDTA-2007-WykBGK08 #attribute grammar #named
Silver: an Extensible Attribute Grammar System (EVW, DB, JG, LK), pp. 103–116.
LDTA-J-2007-WykBGK #attribute grammar #named
Silver: An extensible attribute grammar system (EVW, DB, JG, LK), pp. 39–54.
SCAM-2006-WykKBJSR #c #compilation #composition #framework #java #tool support
Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C (EVW, LK, DB, EJ, AS, PR), p. 161.
LDTA-2003-Wyk #aspect-oriented #composition
Aspects as Modular Language Extensions (EVW), pp. 555–574.
LDTA-J-2003-Wyk #aspect-oriented #composition #implementation #programming
Implementing aspect-oriented programming constructs as modular language extensions (EVW), pp. 38–61.
CC-2002-WykMBK #attribute grammar #composition #design
Forwarding in Attribute Grammars for Modular Language Design (EVW, OdM, KB, PK), pp. 128–142.
POPL-2002-LaceyJWF #compilation #correctness #logic #optimisation #proving
Proving correctness of compiler optimizations by temporal logic (DL, NDJ, EVW, CCF), pp. 283–294.
SAC-2000-Wyk #domain-specific language
Domain Specific Meta Languages (EVW), pp. 799–803.
GCSE-1999-MoorPW #aspect-oriented #compilation
Aspect-Oriented Compilers (OdM, SLPJ, EVW), pp. 121–133.
SLE-2017-KaminskiW #composition
Ensuring non-interference of composable language extensions (TK, EVW), pp. 163–174.
GPCE-2017-CarlsonW #composition
Type qualifiers as composable language extensions (TC, EVW), pp. 91–103.
GPCE-2019-KramerKW #attribute grammar
Reflection in attribute grammars (LK, TK, EVW), pp. 48–60.
GPCE-2019-KramerW #c #nondeterminism #parallel #programming
Parallel nondeterministic programming as a language extension to C (short paper) (LK, EVW), pp. 20–26.
OOPSLA-2017-KaminskiKCW #automation #composition #framework #reliability
Reliable and automatic composition of language extensions to C: the ableC extensible language framework (TK, LK, TC, EVW), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.