Showing 2025Show all
2 papers · 1 filter
cs.PL2025
Incremental Bidirectional Typing via Order Maintenance
Thomas J. Porter, Marisa Kirisame, Ivan Wei +2
Live programming environments provide various semantic services, including type checking and evaluation, continuously as the user is editing the program. The live paradigm promises…
math.NA2025
Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging
Bhargav Kulkarni, Pavel Panchekha
Recent advances have made numeric debugging tools much faster by using double-double oracles, and numeric analysis tools much more accurate by using condition numbers. But these te…