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: Dovland:Johan
Contributed to:
2012
20092011
2008Wrote 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.