×
Compute Distance To:
Author ID: dovland.johan Recent zbMATH articles by "Dovland, Johan"
Published as: Dovland, Johan
Documents Indexed: 8 Publications since 2008
Co-Authors: 7 Co-Authors with 8 Joint Publications
135 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 35 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
Observable behavior of dynamic systems: component reasoning for concurrent objects. Zbl 1277.68056
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf
7
2008
Lazy behavioral subtyping. Zbl 1204.68072
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Steffen, Martin
6
2010
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
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
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
6
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