397 search results - page 16 / 80 » Causal Reasoning with Contexts Using Dependent Types |
126
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
142
click to vote
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Profiling is often the method of choice for performance analysis of parallel applications due to its low overhead and easily comprehensible results. However, a disadvanta...
121
Voted
GROUP
2003
ACM
15 years 8 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
155
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
130
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...