David Sehr

Papers / Talks

• 93-07

  1993
  Paper

  Loop Transformation for Prolog Programs

  • David Sehr
  • Laxmikant Vasudeo Kale
  • David Padua
• 92-01

  1992
  Paper

  Estimating the Inherent Parallelism in Prolog Programs

  • David Sehr
  • Laxmikant Vasudeo Kale
• 91-04

  1991
  Paper

  Fortran-Style Transformations for Functional Programs (Extended Abstract)

  • David Sehr
  • Laxmikant Vasudeo Kale
  • David Padua
• 88-08

  1988
  Paper

  OR Parallel Execution of Prolog Programs with Side Effects

  • Laxmikant Vasudeo Kale
  • David Padua
  • David Sehr