Sciweavers

21 search results - page 5 / 5
» End-user mashup programming: through the design lens
Sort
View
ENTCS
2006
128views more  ENTCS 2006»
13 years 4 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi