![Declarative programming / Satisfiability Modulo Theories / Type system / Prolog / Symbolic execution / Linear programming / Theoretical computer science / Software engineering / Constraint programming Declarative programming / Satisfiability Modulo Theories / Type system / Prolog / Symbolic execution / Linear programming / Theoretical computer science / Software engineering / Constraint programming](https://www.pdfsearch.io/img/65b50bf4e59332ec0fccea935081e0a3.jpg)
| Document Date: 2013-05-12 14:29:36 Open Document File Size: 295,84 KBShare Result on Facebook
Company Case / Intel / Computer Sciences / / / Event Product Issues / / Facility UI library / Berkeley University of California / Reverse Execution With Constraint Solving Raluca Sauciuc George Necula University of California / / IndustryTerm pure replay solution / typical replay systems / debugger tool / typical reverse execution solutions / event-driven applications / debugger-like tool / stand-alone applications / power algorithm / language-level solution / eventdriven applications / search space / image-processing algorithms / / NaturalFeature Snake / / OperatingSystem Android / GNU / / Organization University of California / / Person George Necula / / Position author / detective / interpreter / / Product Yices 1.0.29 / iPhone / execution path / system logs / final state / / ProgrammingLanguage Prolog / Java / ML / JavaScript / / ProvinceOrState California / / Technology virtual machine / cellular telephone / RAM / image-processing algorithms / Java / API / power algorithm / DOM / Android / virtual memory / same algorithm / BallLarus algorithm / AJAX / X server / GUI / / URL http /
SocialTag |