Travelled to:1 × India
2 × USA
2 × United Kingdom
Collaborated with:A.Dijkstra S.D.Swierstra L.T.v.Binsbergen K.Claessen N.Wu J.P.Magalhães W.Swierstra A.Middelkoop
Talks about:attribut (5) grammar (4) order (4) increment (2) linear (2) evalu (2) lazi (2) stateless (1) machineri (1) algorithm (1)
Person: Jeroen Bransen
DBLP: Bransen:Jeroen
Contributed to:
2015
20152014
2012
2012Wrote 6 papers:
- PEPM-2015-BinsbergenBD #attribute grammar #automation #dependence #order
- Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.
- PEPM-2015-BransenDS #evaluation #higher-order #incremental
- Incremental Evaluation of Higher Order Attributes (JB, AD, SDS), pp. 39–48.
- TACAS-2015-BransenBCD #attribute grammar #order #scheduling #using
- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving (JB, LTvB, KC, AD), pp. 289–303.
- PEPM-2014-BransenDS #attribute grammar #incremental #lazy evaluation
- Lazy stateless incremental evaluation machinery for attribute grammars (JB, AD, SDS), pp. 145–156.
- IFL-2012-WuMBS #case study #experience #lazy evaluation #mining
- Pure and Lazy λ Mining — An Experience Report (NW, JPM, JB, WS), pp. 207–223.
- PADL-2012-BransenMDS #algorithm #attribute grammar
- The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.