Back to Results
First PageMeta Content
Computer programming / Theoretical computer science / C / Cross-platform software / Bit array / Encoding / Algorithm / Computing / Procedural programming languages / Software engineering


Abstractions and small languages in synthesis CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak
Add to Reading List

Document Date: 2012-10-13 23:49:45

Open Document

File Size: 915,49 KB

Share Result on Facebook

Facility

Computer Science University of California / /

IndustryTerm

staff solution / express distributed protocols / /

Organization

University of California / Berkeley / Everyone Ras Bodik Emina Torlak Division / /

ProgrammingLanguage

L / /

ProvinceOrState

California / /

Technology

express distributed protocols / /

SocialTag