Back to Results
First PageMeta Content
Numerical software / Functions and mappings / Boolean algebra / Algebraic logic / Parity / Satisfiability Modulo Theories / Tcl / Symbolic execution / FO / Mathematics / Theoretical computer science / Physics


Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley
Add to Reading List

Document Date: 2014-08-13 19:26:58

Open Document

File Size: 392,41 KB

Share Result on Facebook

City

Indianapolis / /

Company

Racket / Scheme / AIG / /

Country

United States / /

Currency

USD / /

/

Event

Product Issues / Product Recall / /

IndustryTerm

tricky deterministic algorithms / Prior systems / transactional hardware / solver-aided systems / repair tool / web scraping / exhaustive search / memory management / /

Position

author / guard / bidirectional program interpreter / partial evaluator / interpreter for it / TTL+ interpreter / unrolling guard / General / mandatory unrolling guard / interpreter / /

Product

R0 / Circuit / verify-circuit / Omitted / expression / behavior / /

ProgrammingLanguage

TCL / Ruby / Scala / /

ProvinceOrState

Indiana / /

Technology

SDSL / tricky deterministic algorithms / DSL / /

URL

http /

SocialTag