Jan Lahoda

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Data Manipulation Language

Functional Programming

Quantifier Elimination

Pattern Matching

Top Venues

Discret. Appl. Math.

ESEC/SIGSOFT FSE

Publications

Jan Lahoda, Jan Zdárek
Simple tree pattern matching for trees in the prefix bar notation. Discret. Appl. Math. 163 (2014)
Alex Gyori, Lyle Franklin, Danny Dig, Jan Lahoda
Crossing the gap from imperative to functional programming through refactoring. ESEC/SIGSOFT FSE (2013)
Lyle Franklin, Alex Gyori, Jan Lahoda, Danny Dig
LAMBDAFICATOR: from imperative to functional programming through automated refactoring. ICSE (2013)
Jan Lahoda, Jan Becicka, Ralph Benjamin Ruijs
Custom declarative refactoring in NetBeans: tool demonstration. WRT@ICSE (2012)
Ralph Benjamin Ruijs, Jan Lahoda, Jan Becicka
Refactoring development simplified: demonstration. WRT@ICSE (2012)
Jan Lahoda, Jan Zdárek
Simple Tree Pattern Matching for Trees in the Prefix Bar Notation. Stringology (2010)
Jan Lahoda, Borivoj Melichar, Jan Zdárek
Pattern Matching in DCA Coded Text. CIAA (2008)
Jan Lahoda, Borivoj Melichar
General pattern matching on regular collage system. Stringology (2005)