PDFPoty.com Great online pdf database. Regulary update


  • Size: 1367 KB
  • Author: none
  • Creation time: Tue Oct 2 14:27:40 2014
  • Pages: 8

Please enter the captcha
code to download the file.

Relevant results
Pages: 8

ave to be analyzed over and over again libraries being a paramountexample of this In this work we present how to extend the terminationanalysis in the COSTA system in order to make it modular by allowingseparate analysis of individual methods The proposed approach has beenimplemented We report on its application to the termination analysisof the core libraries of the phoneME project a well-known o

  • Author: none
  • Size: 211 KB
  • Creation time: Sun Jan 30 20:11:30 2011