Work

Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop

Year: 1994

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings

DOI: 10.1007/3-540-58485-4_47

Authors: Michael Codish, Bart Demoen

Institutions: Ben-Gurion University of the Negev, KU Leuven

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1516418361

FWCI: 2.119

Cites: 28

Cited by: 46

Related to: 10