Sciweavers

2736 search results - page 181 / 548
» Understanding programmer language
Sort
View
ICFP
2010
ACM
15 years 6 months ago
Lolliproc: to concurrency from classical linear logic via curry-howard and control
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
Karl Mazurak, Steve Zdancewic
MIE
2008
114views Healthcare» more  MIE 2008»
15 years 7 months ago
Aligning Lay and Specialized Passages in Comparable Medical Corpora
While the public has increasingly access to medical information, specialized medical language is often difficult for lay people to understand and there is a need to bridge the gap ...
Louise Deléger, Pierre Zweigenbaum
ICSE
2008
IEEE-ACM
16 years 7 months ago
Debugging reinvented: asking and answering why and why not questions about program behavior
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
Andrew Jensen Ko, Brad A. Myers
VLDB
2007
ACM
159views Database» more  VLDB 2007»
16 years 6 months ago
Example-driven design of efficient record matching queries
Record matching is the task of identifying records that match the same real world entity. This is a problem of great significance for a variety of business intelligence applicatio...
Surajit Chaudhuri, Bee-Chung Chen, Venkatesh Ganti...
HRI
2006
ACM
16 years 3 days ago
Developer oriented visualisation of a robot program
Robot programmers are faced with the challenging problem of understanding the robot’s view of its world, both when creating and when debugging robot software. As a result tools ...
T. H. J. Collett, B. A. MacDonald