Travelled to:1 × USA
Collaborated with:G.B.Clemmensen D.Bjørner
Talks about:develop (2) compil (2) ada (2) project (1) specif (1) formal (1) studi (1) case (1) vdm (1) ddc (1)
Person: Ole N. Oest
DBLP: Oest:Ole_N=
Facilitated 1 volumes:
EdContributed to:
19841980Wrote 2 papers:
- ICSE-1984-ClemmensenO #ada #case study #compilation #development #specification
- Formal Specification and Development of an Ada Compiler — A VDM Case Study (GBC, ONO), pp. 430–440.
- TFDA-1980-BjornerO #ada #compilation #development
- The DDC Ada Compiler Development Project (DB, ONO), pp. 1–20.