Abstract interpretation of concurrent logic programs for analysis of variable sharing

  • D.R. Dams

Scriptie/Masterproef: Master

Samenvatting

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

Citeer dit

Abstract interpretation of concurrent logic programs for analysis of variable sharing
Dams, D. R. (Auteur). 14 dec 1994

Scriptie/Masterproef: Master