Travelled to:1 × Portugal
2 × USA
Collaborated with:T.Uustalu P.Grigorenko E.Tyugu M.J.Frade
Talks about:visual (2) compil (2) systemat (1) cocovila (1) bidirect (1) program (1) partial (1) languag (1) generat (1) redund (1)
Person: Ando Saabas
DBLP: Saabas:Ando
Contributed to:
20092008
2005
2005Wrote 4 papers:
- PEPM-2009-FradeSU #analysis #bidirectional #data flow
- Bidirectional data-flow analyses, type-systematically (MJF, AS, TU), pp. 141–150.
- PEPM-2008-SaabasU #optimisation #proving
- Proof optimization for partial redundancy elimination (AS, TU), pp. 91–101.
- ESEC-FSE-2005-GrigorenkoST #generative #programming #visual notation
- Visual tool for generative programming (PG, AS, ET), pp. 249–252.
- LDTA-2005-GrigorenkoST #named #visual notation
- COCOVILA — Compiler-Compiler for Visual Languages (PG, AS, ET), pp. 137–142.