3931 search results - page 168 / 787 » Separation logic and abstraction |
152
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
151
click to vote
LOGCOM
2010
15 years 5 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
155
click to vote
SLOGICA
2010
15 years 4 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
195
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong speciï¬cations for the standard ...
167
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough†quantiï¬er, also known as “all but ï¬nitely manyâ€, which plays a central role in asymptotic reasoning, as used f...