Owe, Olaf.
Owe, Olaf 1951-
Owe, Olaf, 19..-....
VIAF ID: 40442623 ( Personal )
Permalink: http://viaf.org/viaf/40442623
Preferred Forms
- 100 1 _ ‡a OWe, Olaf
- 100 1 0 ‡a Owe, Olaf
- 100 1 _ ‡a Owe, Olaf
-
-
-
-
-
- 100 1 _ ‡a Owe, Olaf ‡d 1951-
- 100 1 _ ‡a Owe, Olaf, ‡d 19..-....
-
4xx's: Alternate Name Forms (1)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
ANNA A Language for Annotating Ada Programs | |
An approach to program reasoning based on a first order logic for partial functions | |
Axiomatic treatment of processes with shared variables revisited | |
A bibliography of Ole-Johan Dahl | |
A comparison of partial logics | |
Composition and refinement for partial object specifications (full version) | |
Compositional and sound seasoning about active objects with shared futures | |
A compositional proof system for dynamic object systems | |
Contract-based Internet service software development : a proposal | |
Definedness and strictness in generator inductive definitions | |
Formal development with ABEL | |
Formal methods and the RM-ODP | |
Formal system development using method integration : a case study | |
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl | |
Fundamentals of computation theory : 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings | |
Generator induction in order sorted algebras | |
Lazy behavioral subtyping | |
A note on quantifier removal | |
Notes on partial correctness | |
Observable behavior of distributed systems : component reasoning for concurrent objects | |
On the use of subtypes in ABEL | |
Partial logics reconsidered : a conservative approach | |
A presentation of the specification and verification project "ABEL" | |
A proposal for a process logic | |
PROVER : Utkast til programverifikasjonssystem | |
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers | |
The response function method for specifying concurrent systems | |
Revised report on the programming and specification language ABEL / by Dag F. Langmyhr and Olaf Owe | |
Selected papers of the twelfth Nordic Workshop on Programming Theory (NWPT'00) : October 11-13, 2000 | |
A simple three-valued sequent calculus | |
A specification technique with idealization | |
Specifying concurrency by generalized ready relations | |
Subtyping and constructive specification | |
Towards an object-oriented modeling language for probabalistic open distributed systems | |
Towards integration of XML in the Creol object-oriented language | |
Undervisning i applikative språk |