2596 search results - page 74 / 520 » Gradual Typing for Objects |
167
click to vote
DLS
2007
15 years 7 months ago
2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...
135
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
128
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
121
click to vote
DS
1992
15 years 4 months ago
1992
In the Pegasus prototype multidatabase system, the key to the problem of object identity is a differentiation between the view of a data administrator, capturing all the underlyin...
139
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: When analyzing microarray data a primary objective is often to find differentially expressed genes. With empirical Bayes and penalized t-tests the sample variances are...