Suchergebnisse - Horiuchi, Kenji

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

    Polymorphic type inference in Prolog by abstract interpretation
    von Horiuchi, Kenji, Kanamori, Tadashi

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Detecting functionality of logic programs based on abstract hybrid interpre
    von Kanamori, Tadashi, Horiuchi, Kenji, Kawamura, Tadashi

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Construction of logic programs based on generalized unfold fold rules
    von Kanamori, Tadashi, Horiuchi, Kenji

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Less abstract semantics for abstract interpretation of FGHC programs
    von Horiuchi, Kenji

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Detecting termination of logic programs based on abstract hybrid interpretation
    von Kanamori, Tadashi, Kawamura, Tadashi, Horiuchi, Kenji

    Veröffentlicht 1988
    Buch


    Gespeichert in:

Suchwerkzeuge: