Work

A Logic of Reachable Patterns in Linked Data-Structures

Year: 2006

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11690634_7

Authors: Greta Yorsh, Alexander Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani

Institutions: Tel Aviv University, Laboratoire d'Informatique Algorithmique: Fondements et Applications

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Israel Science Foundation

OpenAlex ID: W2172166433

FWCI: 2.641

Cites: 26

Cited by: 34

Related to: