Sciweavers

Share
ASPLOS   2006 Architectural Support for Programming Languages and Operating Systems
Wall of Fame | Most Viewed ASPLOS-2006 Paper
ASPLOS
2006
ACM
9 years 2 months ago
Combinatorial sketching for finite programs
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
Armando Solar-Lezama, Liviu Tancau, Rastislav Bod&...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source310
2Download preprint from source210
3Download preprint from source190
4Download preprint from source189
5Download preprint from source185
6Download preprint from source163
7Download preprint from source162
8Download preprint from source154
9Download preprint from source152
10Download preprint from source150
11Download preprint from source145
12Download preprint from source144
13Download preprint from source143
14Download preprint from source138
15Download preprint from source137
16Download preprint from source136
17Download preprint from source133
18Download preprint from source125
19Download preprint from source121
20Download preprint from source118
21Download preprint from source117
22Download preprint from source116
23Download preprint from source115
24Download preprint from source113
25Download preprint from source112
26Download preprint from source112
27Download preprint from source110
28Download preprint from source110
29Download preprint from source109
30Download preprint from source109
31Download preprint from source107
32Download preprint from source106
33Download preprint from source106
34Download preprint from source104
35Download preprint from source101
36Download preprint from source100
37Download preprint from source100
38Download preprint from source100
39Download preprint from source100
40Download preprint from source95
41Download preprint from source94
42Download preprint from source91
43Download preprint from source90
44Download preprint from source90
45Download preprint from source89
46Download preprint from source89
47Download preprint from source87
48Download preprint from source85
49Download preprint from source84
50Download preprint from source84
51Download preprint from source83
52Download preprint from source82
53Download preprint from source80
54Download preprint from source78
55Download preprint from source71
56Download preprint from source71
books