Separation Logic is an effective Program Logic for proving programs that involve pointers. Reasoning with pointers becomes difficult especially when there is aliasing arising due to several pointers to a given cell location. In this paper, we try to explore the problems with aliasing through some simple examples and introduce the notion of separating conjunction as a tool to deal with it. We in...

In recent years, some generalized structures of topology were introduced. Supra was one the most important those generalizations. To contribute in this orientation, we devoted work to studying limit points and separation axioms on supra topological spaces by using $b$-open sets. We define them a similar way their counterparts spaces. general, demonstrate main properties investigate sufficient c...

In this journey, we are going to explore the so called “separation axioms” in greater detail. We shall try to understand how these axioms are affected on going to subspaces, taking products, and looking at small open neighbourhoods. 1. What this journey entails 1.1. Prerequisites. Familiarity with definitions of these basic terms is expected: • Topological space • Open sets, closed sets, and li...

In this paper, we examine separation axioms on left operand and right topologies generated by a raw binary operation which is weaker than the concepts of both partial multivalued operation, obtain some useful results.