Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Michael Codish 



	

	   
           
Michael Codish     
           
               mcodish@cs.bgu.ac.il

Research Interests

Research interests: development and application of formal techniques to aid in the compilation and implementation of sequential and concurrent logic programming languages as well as to analyse, optimise and reason about such programs; these techniques are formal and include primarily: partial evaluation, or more generally, program specialisation; and abstract interpretation, or more generally, semantic-based program analysis.

Address

    Department of Computer Science
    Ben-Gurion University of the Negev
    PoB 653
    Beer-Sheva, Israel 84105

    Tel: (972-8) 6461-654
    FAX: (972-8) 6472-909
    FAX: (972-8) 6477-650