Metacomputation and logic programming

MaRDI QIDQ1183842zbMATH OpenFDO

Authors S. M. Abramov

Publication date 28 June 1992

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

partial evaluationsupercompilationmixed computationinverse semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1953282
• scientific article; zbMATH DE number 1612493
• Publication:4896257
• An universal resolving algorithm for inverse computation of lazy languages
• scientific article; zbMATH DE number 4049008

Cited in

(6)

• An universal resolving algorithm for inverse computation of lazy languages
• Abstract metaprolog engine
• Program Logics for Homogeneous Meta-programming
• scientific article; zbMATH DE number 1612493 (Why is no real title available?)
• scientific article; zbMATH DE number 1953282 (Why is no real title available?)
• scientific article; zbMATH DE number 978237 (Why is no real title available?)

This page was built for publication: Metacomputation and logic programming

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