Work

Regional Logic for Local Reasoning about Global Invariants

Year: 2008

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-70592-5_17

Authors: Anindya Banerjee, David A. Naumann, Stan Rosenberg

Institutions: Microsoft (United States), Kansas State University, Stevens Institute of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1548974835

FWCI: 13.4

Cites: 40

Cited by: 106

Related to: 10