BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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'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 DBLP: D=uuml=dder:Boris

Contributed to:

SPLC 20152015
TLCA 20152015
ESOP 20142014
TLCA 20132013
CSL 20122012

Wrote 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.

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.