2019 search results - page 208 / 404 » Programming with Shared Data Abstractions |
140
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
258
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
119
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
125
click to vote
PPAM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paper presents an algorithm for scheduling parallel programs for execution in a parallel architecture based on dynamic SMP processor clusters with data transfers on t...
132
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...