A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation

Authors:
Danny De Schreye;Bern Martens
Affiliations:
-;-
Venue:
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Year:
1992

Citing 0
Cited 4

Towards creating specialised integrity checks through partial evaluation of meta-interpreters

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A metalogic programming approach to reasoning about time in knowledge bases

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
S-semantics for logic programming: A retrospective look

Theoretical Computer Science
Meta-variables in Logic Programming, or in Praise of Ambivalent Syntax

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract