×

zbMATH — the first resource for mathematics

Dovland, Johan

Compute Distance To:
Author ID: dovland.johan Recent zbMATH articles by "Dovland, Johan"
Published as: Dovland, Johan
Documents Indexed: 8 Publications since 2008

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 37 times in 19 Documents Cited by Year
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
8
2010
Observable behavior of dynamic systems: component reasoning for concurrent objects. Zbl 1277.68056
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
7
2008
Compositional reasoning about shared futures. Zbl 1315.68192
Din, Crystal Chang; Dovland, Johan; Owe, Olaf
5
2012
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
3
2011
Verifying traits: an incremental proof system for fine-grained reuse. Zbl 1342.68059
Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina
2
2014
Incremental reasoning for multiple inheritance. Zbl 1211.68084
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
2
2009
Verifying traits: an incremental proof system for fine-grained reuse. Zbl 1342.68059
Damiani, Ferruccio; Dovland, Johan; Broch Johnsen, Einar; Schaefer, Ina
2
2014
Observable behavior of distributed systems: component reasoning for concurrent objects. Zbl 1247.68184
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
10
2012
Compositional reasoning about shared futures. Zbl 1315.68192
Din, Crystal Chang; Dovland, Johan; Owe, Olaf
5
2012
Incremental reasoning with lazy behavioral subtyping for multiple inheritance. Zbl 1221.68058
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
3
2011
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
8
2010
Incremental reasoning for multiple inheritance. Zbl 1211.68084
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
2
2009
Observable behavior of dynamic systems: component reasoning for concurrent objects. Zbl 1277.68056
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
7
2008

Citations by Year