Travelled to:1 × Mexico
Collaborated with:D.Bjørner ∅
Talks about:formal (2) parallel (1) definit (1) databas (1) system (1) ada (1)
Person: Hans Henrik Løvengreen
DBLP: L=oslash=vengreen:Hans_Henrik
Contributed to:
1982
1980Wrote 2 papers:
- VLDB-1982-BjornerL #database #formal method
- Formalization of Database Systems — and a Formal Definition of IMS (DB, HHL), pp. 334–347.
- TFDA-1980-Lovengreen #ada #parallel
- Parallelism in Ada (HHL), pp. 309–434.