5066 search results - page 431 / 1014 » Spectra of structures and relations |
133
click to vote
MFCS
1993
Springer
15 years 11 months ago
1993
Springer
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
178
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
219
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
161
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
177
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The notion of Federated Data Warehouse Architecture was suggested for various reasons: bigger autonomy of divisions in an organization, better adaptation to user needs, bigger effi...