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

Research output: ThesisPhD Thesis

Fingerprint

Dive into the research topics of 'Purity Analysis for Higher-Order Imperative Languages: An Abstract Machine Approach'. Together they form a unique fingerprint.

Engineering & Materials Science