scientific article; zbMATH DE number 1332628

zbMath0924.68040MaRDI QIDQ4259949

Siau-Cheng Khoo, Wei-Ngan Chin

Publication date: 8 September 1999

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1996/A96-04/A96-04.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automatic program specialization

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Ensuring the quasi-termination of needed narrowing computations

This page was built for publication: