Cohavit Taboch

Publication Activity (10 Years)

Years Active: 1997-2000
Publications (10 Years): 0

Publications

Michael Codish, Kim Marriott, Cohavit Taboch
Improving Program Analyses, by Structure Untupling. J. Log. Program. 43 (3) (2000)
Michael Codish, Cohavit Taboch
A Semantic Basis for the Termination Analysis of Logic Programs. J. Log. Program. 41 (1) (1999)
Michael Codish, Cohavit Taboch
A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints. ALP/HOA (1997)
Michael Codish, Cohavit Taboch
A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints. APPIA-GULP-PRODE (1997)