Fixing code that explodes under symbolic evaluation

DOI10.1007/978-3-030-39322-9_3MaRDI QIDQ784110zbMATH OpenOpenAlexFDO

Authors Sorawee Porncharoenwase, James Bornholt, Emina Torlak

Publication date 5 August 2020

Full work available at URL https://doi.org/10.1007/978-3-030-39322-9_3

zbMATH Keywords

performance optimizationsymbolic evaluation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Symbolic manipulation of code properties
• scientific article; zbMATH DE number 2011470
• Symbolic evaluation with structural recursive symbolic constants
• Symbolic execution formally explained
• Program Analysis Using Symbolic Ranges

Cited in

(1)

• Bootstrapping library-based synthesis

This page was built for publication: Fixing code that explodes under symbolic evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784110)