707 search results - page 89 / 142 » Some Comments on the Coding of Programs |
113
Voted
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
CORR
1999
Springer
15 years 8 days ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...
180
Voted
POPL
2004
ACM
16 years 28 days ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
103
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...
102
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...