4 citations · 27 across the 29 of their papers we have counts for
1 paper · 1 filter
Sándor Bartha, James Cheney, Vaishak Belle
Programming or scripting languages used in real-world systems are seldom designed with a formal semantics in mind from the outset. Therefore, developing well-founded analysis tools…