×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [program properties]
Documents
Security Audit Guide
95 views
Documents
microsoft database server
140 views
Documents
Programming Language-Javascript
146 views
Business
Javascript
842 views
Documents
Demand-driven inference of loop invariants in a theorem prover K. Rustan M. Leino Microsoft Research, Redmond, WA, USA joint work with Francesco Logozzo
221 views
Documents
Types and Programming Languages Lecture 1 Simon Gay Department of Computing Science University of Glasgow 2006/07
216 views
Documents
ICSE Doctoral Symposium | May 21, 2007 Adaptive Ranking Model for Ranking Code-Based Static Analysis Alerts Sarah Smith Heckman Advised by Laurie Williams
212 views
Documents
1 A Formal Foundation for Software Refactoring Tom Mens, Serge Demeyer, Dirk Janssens
[email protected]
{ serge.demeyer | dirk.janssens }@ua.ac.be Programming
219 views
Documents
1 Appendix A: Writing and Submitting SAS ® Programs A.1 Writing and Submitting SAS Programs
219 views
Documents
(c) 2007 Mauro Pezzè & Michal Young Ch 7, slide 1 Symbolic Execution and Proof of Properties
214 views
Documents
Research Heaven, West Virginia 1 Static Analysis of Software for Autonomous Spacecrafts Supratik Mukhopadhyay
[email protected]
Research Heaven, West
220 views
Documents
CSc 453 Semantic Analysis Saumya Debray The University of Arizona Tucson
220 views
Next >