Work

Scoping constructs in logic programming: Implementation problems and their solution

Year: 1995

Type: article

Source: The Journal of Logic Programming

DOI: 10.1016/0743-1066(95)00037-k

Authors: Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

Institutions: University of Chicago, University at Buffalo, State University of New York, Duke University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: National Science Foundation

Awards: Towards Practical Higher-Order Metalanguages, Higher-Order Metalanguages for Implementing Derivation Systems

OpenAlex ID: W1498728243

FWCI: 5.138

Cites: 28

Cited by: 24

Related to: 10