Mixtus: An automatic partial evaluator for full Prolog
type: Item
instance of: scholarly article
title: Mixtus: An automatic partial evaluator for full Prolog
zbMATH Open document ID: 0942.68516
DOI: 10.1007/BF03038271
author: Dan Sahlin
published in: New Generation Computing
publication date: 1994-02-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 490752
describes a project that uses: SICStus
MaRDI profile type: Publication
cites work: A Transformation System for Developing Recursive Programs
cites work: Composing recursive logic programs with clausal join
cites work: Partial evaluation of metaprograms in a ``multiple worlds'' logic language
cites work: Partial evaluation in logic programming
cites work: Q3992706
cites work: Q5624681
cites work: Q5624680
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Annotated bibliography on partial evaluation and mixed computation
cites work: Q3742690
description: scientific article; zbMATH DE number 490752