Purity Analysis for Higher-Order Imperative Languages: An Abstract Interpretation Approach

Scriptie/masterproef: Doctoral Thesis

Uittreksel

Datum Prijs2016
TaalEnglish
Toekennende instantie
  • Vrije Universiteit Brussel
BegeleiderBeat Signer (Jury)

Citeer dit

'