Telecharger Cours

Techniques for the Verification of Dynamically Typed Programs

This thesis investigates the connection between static typing and program verifica- tion, or - phrased from the opposite direction - seeks to answer the ...



Download