On termination of meta-programs
From MaRDI portal
Publication:3370573
DOI10.1017/S1471068404002248zbMath1092.68020MaRDI QIDQ3370573
Alexander Serebrenik, Danny De Schreye
Publication date: 8 February 2006
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68N20: Theory of compilers and interpreters
03B70: Logic in computer science
68N17: Logic programming
Related Items
Checking termination of bottom-up evaluation of logic programs with function symbols, Using linear constraints for logic program termination analysis, Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments, Leanest quasi-orderings, Dependency Triples for Improving Termination Analysis of Logic Programs with Cut