scientific article; zbMATH DE number 1332628

zbMATH Open0924.68040MaRDI QIDQ4259949FDOQ4259949

Authors: Wei-Ngan Chin, Siau-Cheng Khoo 

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 of this publication is not available (Why is that?)

Recommendations

• Derivation of efficient logic programs by specialization and reduction of nondeterminism
• Combining program and data specialization
• Publication:4944882
• Specialization scenarios: a pragmatic approach to declaring program specialization

zbMATH Keywords

automatic program specialization

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (5)

• Title not available (Why is that?)
• Ensuring the quasi-termination of needed narrowing computations
• An investigation of Jones optimality and BTI-universal specializers
• Call-pattern specialisation for Haskell programs
• Multiple specialization using minimal-function graph semantics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4259949)