5235 search results - page 410 / 1047 » Analysis of Multithreaded Programs |
183
click to vote
PADL
2004
Springer
16 years 6 days ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
191
click to vote
ICS
1994
Tsinghua U.
15 years 11 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...
210
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
201
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
221
click to vote
AISS
2010
15 years 1 months ago
2010
Computer programming is one of the most essential skills which each graduate has to acquire. However, there are reports that they are unable to write a program well. Researches in...