816 search results - page 71 / 164 » Abstract Barycentric Algebras |
140
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
136
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
111
click to vote
EJC
2007
15 years 4 months ago
2007
We give a characterization of the root shadow spaces of buildings whose types correspond to Dynkin diagrams. The results generalize earlier geometric point-line characterizations ...
117
click to vote
JUCS
2007
15 years 4 months ago
2007
Abstract: We introduce the notion of ∧- and ∨-pairs of functions on lattices as an abstraction of the notions of metric and its related entropy for probability distributions. T...
123
click to vote
TAPSOFT
1993
Springer
15 years 8 months ago
1993
Springer
: We propose a new algebraic framework for exception handling which is powerful enough to cope with many exception handling features such that recovery, implicit propagation of exc...