9626 search results - page 521 / 1926 » Invariant Based Programming |
207
click to vote
PPDP
2009
Springer
16 years 2 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
221
click to vote
LOPSTR
2007
Springer
16 years 1 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
209
click to vote
INFOSCALE
2006
ACM
16 years 1 months ago
2006
ACM
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
185
Voted
VEE
2005
ACM
16 years 1 months ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
203
click to vote
CISIS
2010
IEEE
16 years 25 days ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...