Abstract interpretation of concurrent logic programs for analysis of variable sharing

  • D.R. Dams

Student thesis: Master

Date of Award14 Dec 1994
Original languageEnglish
SupervisorRob T. Gerth (Supervisor 1) & Rob Nederpelt (Supervisor 2)

Cite this

'