Physical Sciences › Informatique › Artificial Intelligence › Logique, programmation et systèmes de types

Logique, programmation et systèmes de types

This cluster of papers covers a wide range of program analysis and verification techniques, including static analysis, formal verification, type inference, memory management, concurrency, garbage collection, separation logic, model checking, abstract interpretation, and programming language semantics.

Questions & réponses

Aucune question publiée pour cette rubrique. Posez la première ci-dessous.