3001 search results - page 493 / 601 » Recursive type generativity |
220
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
145
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...
140
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
We present research leading toward an understanding of the optimal audio-visual representation for illustrating concepts for illiterate and semi-literate users of computers. In ou...
151
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
Team members usually cooperate on a business process by partitioning it into several activities, which in turn generate one or more work items. Work items either need to be proces...
272
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...