Work

The interprocedural coincidence theorem

Year: 1992

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/3-540-55984-1_13

Authors: Jens Knoop, Bernhard Steffen

Institutions: Christian-Albrechts-Universität zu Kiel, RWTH Aachen University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W1593165330

FWCI: 6.658

Cites: 22

Cited by: 131

Related to: 10