Johan Dovland

From MaRDI portal
Person:444463

Available identifiers

zbMath Open dovland.johanMaRDI QIDQ444463

List of research outcomes





PublicationDate of PublicationType
Verifying traits: an incremental proof system for fine-grained reuse2016-08-05Paper
A proof system for adaptable class hierarchies2014-12-03Paper
Observable behavior of dynamic systems: component reasoning for concurrent objects2013-12-06Paper
Compositional Reasoning about Shared Futures2013-01-08Paper
Observable behavior of distributed systems: component reasoning for concurrent objects2012-08-14Paper
Incremental reasoning with lazy behavioral subtyping for multiple inheritance2011-07-18Paper
Lazy behavioral subtyping2010-10-22Paper
Incremental Reasoning for Multiple Inheritance2009-02-24Paper

Research outcomes over time

This page was built for person: Johan Dovland

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:444463&oldid=7393327"
Powered by MediaWiki