81 treff

Årbok 2007
Agder Vitenskapsakademi
Bok Bokmål 2008
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche (eds....
Bok Engelsk 2004
Eventyret om Kristen Nygaard og Simula
ved Arnfinn Christensen
CD-ROM Bokmål 2002
Formal methods and the RM-ODP
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1998 · Les boka på nett
Subtyping and constructive specification
Ole-Johan Dahl, Olaf Owe and Tore J. Bast...
Bok Engelsk 1996 · Les boka på nett
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
Workshop on Specification of Abstract Data Types
Bok Engelsk 1996
On introducing higher order functions in ABEL
Ole-Johan Dahl and Bjørn Kristoffersen
Bok Engelsk 1995 · Les boka på nett
On the use of subtypes in ABEL
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1995 · Les boka på nett
Co- and contravariance in functional subtypes : contribution to IFIP WG2.3, June 1994
Ole-Johan Dahl
Bok Engelsk 1994 · Les boka på nett
Hoare-style parallel programming : foils for a student course, IN305
Ole-Johan Dahl
Bok Engelsk 1994 · Les boka på nett
Monitors revisited
Ole-Johan Dahl
Bok Engelsk 1993
Value types and object classes : talk presented at the 25 years Simula 67 Anniversary Conferences, Nordwijkerhout 11-12 June, 1992 and Oslo 22 June
Ole-Johan Dahl
Bok Engelsk 1992
Verifiable programming
Ole-Johan Dahl
Bok Engelsk 1992
Formal development with ABEL
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1991
Object orientation and formal techniques : (extended abstracts)
Ole-Johan Dahl
Bok Engelsk 1990
Generator induction in order sorted algebras
Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1989
Object oriented specification
Ole-Johan Dahl
Bok Engelsk 1987
Preliminary report on the specification and programming language ABEL
Ole-Johan Dahl, Dag F. Langmyhr, Olaf Owe...
Bok Engelsk 1986
Specification and reasoning about discrete simulation models : a case study
by Ole-Johan Dahl
Bok Engelsk 1985
Common base language
by Ole-Johan Dahl, Bjørn Myhrhaug and Kri...
Bok Engelsk 1984 · Les boka på nett
Logic of programming and specification
by Ole-Johan Dahl
Bok Engelsk 1984
Notes on a LIFO disciplined simplex algorithm
av Ole-Johan Dahl
Bok Engelsk 1984
A presentation of the specification and verification project "ABEL"
by Ole-Johan Dahl and Olaf Owe
Bok Engelsk 1984
Common base language
by Ole-Johan Dahl, Bjørn Myhrhaug and Kri...
Bok Engelsk 1982 · Les boka på nett
Partial correctness semantics of communicating sequential processes
by Neelam Soundararajan and Ole-Johan Dah...
Bok Engelsk 1982
Time sequences as a tool for describing program behaviour
by Ole-Johan Dahl
Bok Engelsk 1979
Can program proving be made practical?
by Ole-Johan Dahl
Bok Engelsk 1978
Strukturált programozás
Dahl, Ole-Johan
Bok Ungarsk 1978
The development of the SIMULA languages
by Kristen Nygaard and Ole-Johan Dahl
Bok Engelsk 1978 · Les boka på nett
An approach to correctness proofs of semicoroutines
by Ole-Johan Dahl
Bok Engelsk 1977