Abstract interpretation of concurrent logic programs for analysis of variable sharing

  • D.R. Dams

Scriptie/Masterproef: Master

Datum prijs14 dec. 1994
Originele taalEngels
BegeleiderRob T. Gerth (Afstudeerdocent 1) & Rob Nederpelt (Afstudeerdocent 2)

Citeer dit

'