Mohammad Nikouei

According to our database, Mohammad Nikouei authored at least 5 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Relational Program Logic with Data Abstraction and Dynamic Framing.

Anindya Banerjee, Ramana Nagasamudram, David A. Naumann, Mohammad Nikouei

ACM Trans. Program. Lang. Syst., December, 2022

2019

Data Abstraction and Relational Program Logic.

Anindya Banerjee, Ramana Nagasamudram, David A. Naumann, Mohammad Nikouei

CoRR, 2019

2018

A Logical Analysis of Framing for Specifications with Pure Method Calls.

Anindya Banerjee, David A. Naumann, Mohammad Nikouei

ACM Trans. Program. Lang. Syst., 2018

2016

Relational Logic with Framing and Hypotheses: Technical Report.

Anindya Banerjee, David A. Naumann, Mohammad Nikouei

CoRR, 2016

Relational Logic with Framing and Hypotheses.

Anindya Banerjee, David A. Naumann, Mohammad Nikouei

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016