632 search results - page 122 / 127 » Proving Invariants of Functional Programs |
BSL
2004
15 years 8 days ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
131
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
91
Voted
CASES
2004
ACM
15 years 5 months ago
2004
ACM
Abstract— In a direct-mapped instruction cache, all instructions that have the same memory address modulo the cache size, share a common and unique cache slot. Instruction cache ...
100
click to vote
ISAAC
2004
Springer
15 years 5 months ago
2004
Springer
RNA molecules whose secondary structures contain similar substructures often have similar functions. Therefore, an important task in the study of RNA is to develop methods for disc...
126
Voted
ECOOP
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....