2496 search results - page 392 / 500 » Error-detecting properties of languages |
122
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
137
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
146
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
117
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
127
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...