Cohavit Taboch

According to our database, Cohavit Taboch authored at least 3 papers between 1997 and 2000.

Collaborative distances:

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

2000

Improving Program Analyses, by Structure Untupling.

Michael Codish, Kim Marriott, Cohavit Taboch

J. Log. Program., 2000

1999

A Semantic Basis for the Termination Analysis of Logic Programs.

Michael Codish, Cohavit Taboch

J. Log. Program., 1999

1997

A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints.

Michael Codish, Cohavit Taboch

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997