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 × Finland
1 × Germany
1 × Greece
Collaborated with:
O.Owe E.B.Johnsen M.Steffen C.C.Din
Talks about:
reason (3) increment (2) behavior (2) multipl (2) inherit (2) subtyp (2) lazi (2) composit (1) share (1) futur (1)

Person: Johan Dovland

DBLP DBLP: Dovland:Johan

Contributed to:

SEFM 20122012
IFM 20092009
IFM 20092011
FM 20082008

Wrote 4 papers:

SEFM-2012-DinDO #composition #reasoning
Compositional Reasoning about Shared Futures (CCD, JD, OO), pp. 94–108.
IFM-2009-DovlandJOS #incremental #inheritance #multi #reasoning
Incremental Reasoning for Multiple Inheritance (JD, EBJ, OO, MS), pp. 215–230.
IFM-J-2009-DovlandJOS11 #behaviour #incremental #inheritance #lazy evaluation #multi #reasoning #type system
Incremental reasoning with lazy behavioral subtyping for multiple inheritance (JD, EBJ, OO, MS), pp. 915–941.
FM-2008-DovlandJOS #behaviour #lazy evaluation #type system
Lazy Behavioral Subtyping (JD, EBJ, OO, MS), pp. 52–67.

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.