45 citations · 78 across the 9 of their papers we have counts for
Showing 2019 · cs.PLShow all
2 papers · 2 filters
cs.PL2019★ 26 cited
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Neville Grech, George Fourtounis, Adrian Francalanza +1
Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses w…
cs.PL2019
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
Yannis Smaragdakis
The dream of programming language design is to bring about orders-of-magnitude productivity improvements in software development tasks. Designers can endlessly debate on how this d…