scientific article; zbMATH DE number 5510503

zbMATH Open1173.68437MaRDI QIDQ3605733FDOQ3605733

Authors: Mihai Nica, Franz Wotawa 

Publication date: 24 February 2009

Title of this publication is not available (Why is that?)

Recommendations

• Declarative compilation for constraint logic programming
• scientific article; zbMATH DE number 1337861
• Compiling constraint satisfaction problems
• scientific article; zbMATH DE number 2084335

zbMATH Keywords

constraint satisfaction problemhyper-tree representation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (5)

• Programming Languages and Systems
• Title not available (Why is that?)
• Automated debugging based on a constraint model of the program and a test case
• Logic Programming
• Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

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 Q3605733)