Unfolding rules for GHC programs
type: Item
instance of: scholarly article
title: Unfolding rules for GHC programs
zbMATH Open document ID: 0654.68104
DOI: 10.1007/BF03037135
author: Koichi Furukawa
author: Akira Okumura
author: Masaki Murakami
published in: New Generation Computing
publication date: 1988-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 4068334
zbMATH Keywords: unfold/fold transformation
zbMATH Keywords: guarded Horn clauses
zbMATH Keywords: program transformations
zbMATH Keywords: partial evaluation
zbMATH Keywords: GHC
describes a project that uses: PARLOG
describes a project that uses: GHC
MaRDI profile type: Publication
cites work: PARLOG: parallel programming in logic
cites work: Q3994465
full work available at URL: https://doi.org/10.1007/bf03037135
OpenAlex ID: W2014855568
description: scientific article; zbMATH DE number 4068334