An assertion language for slicing constraint logic languages

DOI10.1007/978-3-030-13838-7_9zbMath1524.68064arXiv1808.04867OpenAlexW2964025851MaRDI QIDQ6085980

Moreno Falaschi, Carlos Olarte

Publication date: 9 November 2023

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.04867

zbMATH Keywords

debuggingconstraint logic programmingconcurrent constraint programmingassertion languagedynamic slicing

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17)

Related Items (1)

Slicing concurrent constraint programs

This page was built for publication: An assertion language for slicing constraint logic languages