Using Static Analysis in Space: Why Doing so?
Abstract elided by the publisher.
Related papers
- Freer Arrows and Why You Need Them in Haskell Haskell 2025
- Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss TOPLAS 2014
- Why Do Scala Developers Mix the Actor Model with other Concurrency Models? ECOOP 2013
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work ICFP 2004
- Static Slicing in the Presence of Goto Statements TOPLAS 1994
- Why do we know so little about programming languages, and what would have happened if we had known more? DLS 2014
- Work efficient higher-order vectorisation ICFP 2012
- Why is random testing effective for partition tolerance bugs? POPL 2018