3775 search results - page 596 / 755 » The Expression Problem Revisited |
133
click to vote
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
140
Voted
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
142
Voted
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The organization of objects into classes and categories is an essential task in the process of forming concepts. Within computer science, this classification activity must be suppo...
131
Voted
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
129
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...