Program Synthesis by Sketching

Program Synthesis by Sketching

4.11 - 1251 ratings - Source

In short, this thesis shows that sketching is a viable approach to making synthesis practical in a general programming context.void main(){ fork(int i; 2){ x = 10; t = x; x = t + 3; } assert x alt; 15; } void main(){ fork( int i; 2){ x = 5; t = x; x = t + 3; } assert x alt; 15; } x=10 b tO=x b x=t0+3 \) x-10 D tl-x D x=tl+3 D assert x alt; 15 :=10 \agt; tO^x D x=10 D x=t0+3 D tl=x |agt; x=tl+3 ft assert xanbsp;...

Title:Program Synthesis by Sketching
Publisher:ProQuest - 2008

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA