Verifying traits: an incremental proof system for fine-grained reuse von Damiani, Ferruccio, Dovland, Johan, Johnsen, Einar Broch, Schaefer, Ina

Volltext

A proof system for adaptable class hierarchies von Dovland, Johan, Johnsen, Einar Broch, Owe, Olaf, Yu, Ingrid Chieh

Volltext

Incremental reasoning with lazy behavioral subtyping for multiple inheritance von Dovland, Johan, Broch Johnsen, Einar, Owe, Olaf, Steffen, Martin

Volltext

Lazy Behavioral Subtyping von Dovland, Johan, Johnsen, Einar Broch, Owe, Olaf, Steffen, Martin

Volltext

Compositional Reasoning about Shared Futures von Din, Crystal Chang, Dovland, Johan, Owe, Olaf

Volltext

Tracking Behavioral Constraints during Object-Oriented Software Evolution von Dovland, Johan, Johnsen, Einar Broch, Yu, Ingrid Chieh

Volltext

Observable behavior of distributed systems: Component reasoning for concurrent objects von Din, Crystal Chang, Dovland, Johan, Johnsen, Einar Broch, Owe, Olaf

Volltext

Incremental Reasoning for Multiple Inheritance von Dovland, Johan, Johnsen, Einar Broch, Owe, Olaf, Steffen, Martin

Volltext

Pekeraliasing i Hoare-logikk von Dovland, Johan

Volltext bestellen

Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects von Dovland, Johan, Johnsen, Einar Broch, Owe, Olaf

Volltext

An approach to compositional reasoning about concurrent objects and futures von Din, Crystal Chang, Dovland, Johan, Owe, Olaf

Volltext bestellen

Verification of concurrent objects with asynchronous method calls von Dovland, J., Johnsen, E.B., Owe, O.

Volltext bestellen

A compositional proof system for dynamic object systems von Dovland, Johan, Johnsen, Einar B, Owe, Olaf

Volltext bestellen

Lazy behavioral subtyping von Dovland, Johan, Johnsen, Einar B, Owe, Olaf, Steffen, Martin

Volltext bestellen

Drivhuseffekten og klimautviklingen. Bidrag til den interdepartementale klimautredningen von Blindheim, Johan, Braathen, Geir Ole, Dovland, Harald, Gray, John S, Hanssen-Bauer, Inger, Hov, Øystein, Isaksen, Ivar S A, Mangerud, Jan, Mork, Martin, Pedersen, Kaare

Volltext bestellen

Drivhuseffekten og klimautviklingen. Bidrag til den interdepartementale klimautredningen von Blindheim, Johan, Braathen, Geir Ole, Dovland, Harald, Gray, John S., Hanssen-Bauer, Inger, Hov, Øystein, Isaksen, Ivar S A, Mangerud, Jan, Mork, Martin, Pedersen, Kaare

Volltext bestellen