Work

Sawja: Static Analysis Workshop for Java

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-18070-5_7

Authors: Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin

Institutions: Centre National de la Recherche Scientifique, Institut de Recherche en Informatique et Systèmes Aléatoires, Institut national de recherche en sciences et technologies du numérique, Centre Inria de l'Université de Rennes, École Normale Supérieure Paris-Saclay

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2159835737

FWCI: 1.508

Cites: 15

Cited by: 14

Related to: