Sciweavers

13271 search results - page 63 / 2655
» Computers, Programming, and People
Sort
View
135
Voted
PPDP
2010
Springer
15 years 2 months ago
Dimensions in program synthesis
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
Sumit Gulwani
201
Voted
ATC
2006
Springer
15 years 7 months ago
Ubisafe Computing: Vision and Challenges (I)
In recent years, a variety of new computing paradigms have been proposed for various purposes. It is true that many of them intend to and really can gratify some of the people some...
Jianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde ...
286
Voted
POPL
2001
ACM
16 years 4 months ago
Programming language methods in computer security
traction
John C. Mitchell
106
Voted
ICALP
1991
Springer
15 years 7 months ago
Logical and Computational Aspects of Programming with Sets/Bags/Lists
Val Tannen, Ramesh Subrahmanyam