Aliasproblematikk innen Hoare-logikk for objektorientert programmering
Henrik Berg
Bok Bokmål 2002
Utgitt | Oslo : H. Berg , 2002
|
---|---|
Omfang | 118 s. : ill.
|
Opplysninger | Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2002
|
Emner | Databehandling
Hoare-logikk Programverifikasjon informatikk alias fomelle metoder programverifikasjon |