Next:
Travels
Up:
Dines Bjørner: Memoir Excerpts:
Previous:
Dines Bjørner: Memoir Excerpts:
Contents
Travels
Kari
John Warner Backus
My Work for/with John
An Obituary: John Warner Backus, 3.Dec. 1924-17.March 2007
Dansk Datamatik Center
Abstract
A Factual History of DDC
The Use of Formal Techniques at DDC
DDC Activities 1979-1989
The CHILL Projects
The Formal Definition of CHILL
The CHILL Compiler Development
The Ada Projects
The Ada Compiler Project
The Formal Definition of Ada
The RAISE Project
The Formal Methods Appraisal Project (FMA)
The RAISE Development
The Office Automation Project
Technology Transfer Activities
Cubus:
Seminars and Courses:
Appraisal of DDC
Acknowledgement
UNU-IIST
March 1987
Director Designate: 1991-1992
The Macau Authorities
The UNU Rector ...--1991-1997
My Staff, The Fellows and Programme
The UNU/IIST Board and UNU Council
UNU/IIST Board
UNU Council
My Impressions of UN
Why Did I Join the UN ?
Dines Bjorner 2010-06-01