632 search results - page 108 / 127 » Explicit Substitutions and Programming Languages |
121
Voted
PVM
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. SKaMPI is a benchmark for MPI implementations. Its purpose is the detailed analysis of the runtime of individual MPI operations and comparison of these for di erent imple...
124
Voted
CBSE
2004
Springer
15 years 7 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
102
click to vote
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
132
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
151
Voted
POPL
2011
ACM
14 years 4 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...