Showing 1 - 4 results of 4 for search 'Mohamed A. El-Zawawy', query time: 0.06s Refine Results
  1. 1
    Dead code elimination based pointer analysis for multithreaded programs
    by Mohamed A. El-Zawawy
    Published 2012-04-01
    Get full text
    Article
  2. 2
    Recognition of logically related regions based heap abstraction
    by Mohamed A. El-Zawawy
    Published 2012-07-01
    Get full text
    Article
  3. 3
    Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs
    by Mohamed A. El-Zawawy
    Published 2014-01-01
    Get full text
    Article
  4. 4
    Testing Automation of Context-Oriented Programs Using Separation Logic
    by Mohamed A. El-Zawawy
    Published 2014-01-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search