Work

A general criterion for avoiding infinite unfolding during partial deduction

Year: 1992

Type: article

Source: New Generation Computing

DOI: 10.1007/bf03037527

Authors: Maurice Bruynooghe, Danny De Schreye, Bern Martens

Institution: KU Leuven

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1991589943

FWCI: 3.761

Cites: 35

Cited by: 68

Related to: 10