In this work we present a new sampling-based “black box” inference approach for learning the behaviors of a library component. As an application, we focus on the problem of automatically learning commutativity specifications of data structures. This is a very challenging problem, yet important, as commutativity specifications are fundamental to program analysis, concurrency control and even low...

Several recent papers investigated unbounded convergences in Banach lattices. The focus of this paper is to apply the results convergence classical lattice theory from a new perspective. Combining all convergences, including order (norm, absolute weak, weak*) convergence, we characterize L-weakly compact sets, operators and M-weakly on For applications, introduce so-called statistical-unbounded...

It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degener...

It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degener...

We present a technique for automatically generatingcommutativity conditions from (abstract-level) data-structurespecifications. We observe that one can pose the commutativityquestion in a way that does not introduce additional quantifiers,via a mechanized lifting of a (potentially partial) specificationto an equivalent total specification. We then describe an al-gorithm ...

This paper consists of main two sections. In the first section, we prove a common fixed point theorem in modified intuitionistic fuzzy metric space by combining the ideas of pointwise R-weak commutativity and reciprocal continuity of mappings satisfying contractive conditions. In the second section, we prove common fixed point theorems in modified intuitionistic fuzzy metric space from the clas...

Necessary and sufficient conditions for the commutativity of linear time-varying systems are derived in the case of nonzero initial conditions. It is shown that some commutative class of linear time-varying systems may not commute with arbitrary initial conditions. In this respect, commutativity of Euler differential systems is investigated. Explicit commutativity conditions for the fifth-order...