Publication:4631189
From MaRDI portal
zbMath1407.68074MaRDI QIDQ4631189
Ahmed Elsawy, Slim Abdennadher, Amira Zaki
Publication date: 24 April 2019
Full work available at URL: http://ceur-ws.org/Vol-1433/tc_44.pdf
declarative programming; constraint handling rules; source-to-source transformation; exhaustive execution; full-search space exploration
68N15: Theory of programming languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)