a public good project by the
Synthesis
Company
of California

© 2026

An Assertion Language for Constraint Logic Programs | doi.page

0 citations0 references

Google Scholar doi.org

An Assertion Language for Constraint Logic Programs

Lecture notes in computer science·2000·pp. 23–61

Citations Over TimeTop 10% of 2000 papers

Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo

Related Papers

→ Debugging Scientific Applications With Statistical Assertions(2012)4 cited
→ Aladdin: Assembly Language Assertion Driven Debugging Interpreter(1979)23 cited
→ Introducing Debugging Capabilities to Natural Semantics(2007)2 cited
→ A generalized assertion language(1976)8 cited
→ Formalizing the Debugging Process in Haskell(2005)2 cited