877 search results - page 113 / 176 » Annotated Revision Programs |
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Recent advances in programming environments have focused on improving programmer productivity by utilizing the inherent structure in computer programs. However, because these envi...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
ECOOP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
PEPM
1993
ACM
14 years 1 months ago
1993
ACM
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...