402 search results - page 38 / 81 » Algebraic Properties of Program Integration |
121
click to vote
IJIIDS
2010
14 years 8 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
136
click to vote
CC
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
106
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
114
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
121
click to vote
PLILP
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...