Travelled to:1 × Poland
1 × The Netherlands
1 × USA
2 × France
Collaborated with:J.Rehof M.Martens G.T.Heineman A.Hoxha P.Urzyczyn J.Bessai A.Dudenhefner T.Chen U.de'Liguoro
Talks about:composit (4) synthesi (3) type (3) intersect (2) orient (2) stage (2) combinatori (1) framework (1) synthes (1) softwar (1)
Person: Boris Düdder
DBLP: D=uuml=dder:Boris
Contributed to:
2015
2015
20142013
2012Wrote 6 papers:
- SPLC-2015-DudderRH #composition #design #staged #type safety #using
- Synthesizing type-safe compositions in feature oriented software designs using staged composition (BD, JR, GTH), pp. 398–401.
- SPLC-2015-HeinemanHDR #framework #migration #object-oriented #product line #synthesis #towards
- Towards migrating object-oriented frameworks to enable synthesis of product line members (GTH, AH, BD, JR), pp. 56–60.
- TLCA-2015-BessaiDDCdR #composition #mixin #synthesis
- Mixin Composition Synthesis Based on Intersection Types (JB, AD, BD, TCC, Ud, JR), pp. 76–91.
- ESOP-2014-DudderMR #composition #staged #synthesis
- Staged Composition Synthesis (BD, MM, JR), pp. 67–86.
- TLCA-2013-DudderMR #type system
- Intersection Type Matching with Subtyping (BD, MM, JR), pp. 125–139.
- CSL-2012-DudderMRU #bound #combinator #logic
- Bounded Combinatory Logic (BD, MM, JR, PU), pp. 243–258.