On termination of meta-programs

DOI10.1007/3-540-45653-8_36zbMATH Open1275.68050OpenAlexW2103284961MaRDI QIDQ2996191FDOQ2996191

Authors: Alexander Serebrenik, Danny De Schreye 

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/167007

Recommendations

• On termination of meta-programs
• Program Logics for Homogeneous Meta-programming
• In praise of impredicativity: a contribution to the formalization of meta-programming
• scientific article; zbMATH DE number 4076581
• scientific article; zbMATH DE number 194215

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• Meta-predicate semantics
• In praise of impredicativity: a contribution to the formalization of meta-programming
• Title not available (Why is that?)
• The Use of Termination Indicators in Computer Programming
• Language-independent generation of logic representations for programs
• On termination of meta-programs

This page was built for publication: On termination of meta-programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996191)