Semantics-directed generation of a Prolog compiler
type: Item
instance of: scholarly article
title: Semantics-directed generation of a Prolog compiler
zbMATH Open document ID: 0801.68028
DOI: 10.1016/0167-6423(93)90011-D
author: Charles Consel
author: Siau-Cheng Khoo
published in: Science of Computer Programming
publication date: 1994-02-17T00:00:00Z
Mathematics Subject Classification ID: 68N20
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 503013
zbMATH Keywords: automatic compiler generation
zbMATH Keywords: denotational semantics
zbMATH Keywords: Prolog
zbMATH Keywords: compiler
zbMATH Keywords: partial evaluation
Wikidata QID: Q123222998
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 503013