Static Analysis of Programs using Semirings

Louise North

Research output: Book/ReportOther report

52 Downloads (Pure)

Fingerprint Dive into the research topics of 'Static Analysis of Programs using Semirings'. Together they form a unique fingerprint.

Earth & Environmental Sciences