1 citations · 1 across the 4 of their papers we have counts for
4 papers
A Relational Program Logic with Data Abstraction and Dynamic Framing
Anindya Banerjee, Ramana Nagasamudram, David A. Naumann +1
Dedicated to Tony Hoare. In a paper published in 1972 Hoare articulated the fundamental notions of hiding invariants and simulations. Hiding: invariants on encapsulated data repres…
Relational Logic with Framing and Hypotheses: Technical Report
Anindya Banerjee, David A. Naumann, Mohammad Nikouei
Relational properties arise in many settings: relating two versions of a program that use different data representations, noninterference properties for security, etc. The main ing…
A Length Function for Weyl Groups of extended affine root systems of Type
Saeid Azam, Mohammad Nikouei
In this work, we study the concept of the length function and some of its combinatorial properties for the class of extended affine root systems of type . We introduce a notio…
Weyl Groups Associated with Affine Reflection Systems of Type (Coxeter Type Defining Relations)
Saeid Azam, Mohammad Nikouei
In this paper, we offer a presentation for the Weyl group of an affine reflection system of type as well as a presentation for the so called hyperbolic Weyl group associa…