Filters








2 Hits in 8.2 sec

On termination of meta-programs [article]

Alexander Serebrenik, Danny De Schreye
<span title="2003-12-24">2003</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
To appear without appendix in Theory and Practice of Logic Programming.  ...  It is based on combining the power of general orderings, used in proving termination of term-rewrite systems and programs, and on the well-known acceptability condition, used in proving termination of  ...  Explaining program execution in deductive systems. In Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0110035v3">arXiv:cs/0110035v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cqvdtkitmjfgrm5myhbwry26rm">fatcat:cqvdtkitmjfgrm5myhbwry26rm</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0110035/cs0110035.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c1/b2/c1b2d420ced0d6e43711c9274bbf4d5f19fd63c6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0110035v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

On termination of meta-programs

ALEXANDER SEREBRENIK, DANNY DE SCHREYE
<span title="">2005</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yhwvj6mbzza5tfz766tokherka" style="color: black;">Theory and Practice of Logic Programming</a> </i> &nbsp;
It is based on combining the power of general orderings, used in proving termination of term-rewrite systems and programs, and on the well-known acceptability condition, used in proving termination of  ...  The term meta-programming refers to the ability of writing programs that have other programs as data and exploit their semantics.  ...  Explaining program execution in deductive systems. In Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068404002248">doi:10.1017/s1471068404002248</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w2bw6r63jrbzhn4nvprtj77tc4">fatcat:w2bw6r63jrbzhn4nvprtj77tc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171127033530/https://core.ac.uk/download/pdf/34329261.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/32/55/32557485e9b0e482c9f331c809820f7a1814e243.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s1471068404002248"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>