A unified framework for examining program correctness
This paper looks into program analysis techniques, more specifically on how these techniques work and how to improve them. Generally, improved program analysis techniques are a combination of different techniques. For example, static and dynamic analyses techniques can be used together with each oth...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | text |
| Published: |
Animo Repository
2013
|
| Subjects: | |
| Online Access: | https://animorepository.dlsu.edu.ph/faculty_research/12069 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | De La Salle University |