Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT.

Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio

Browse the full ISSTA paper archive.