906 search results - page 108 / 182 » Language and program design for functional dependencies |
200
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
134
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
183
click to vote
PPOPP
2011
ACM
14 years 6 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
118
click to vote
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...
144
click to vote
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Collaboration, either inter or intra-organization is a critical business function that demands skills and knowledge spanning a wide range of domains including social, business and ...