scientific article; zbMATH DE number 1497832

zbMath0958.68032MaRDI QIDQ4499255

Daniel Cabeza, Manuel V. Hermenegildo

Publication date: 6 March 2001

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

zbMATH Keywords

Ciao compilerCiao prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• Ciao
• CiaoPP
• SICStus

Cites Work

• Compile-time derivation of variable dependency using abstract interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: