Modeling dynamic allocations and deallocations of local memory for translation validation

Simple item page
dc.contributor.authorAbhishek Rose
dc.date.accessioned2025-11-17T06:57:34Z
dc.date.issued2025-04-03
dc.identifier.urihttps://ir.iitd.ac.in/handle/123456789/7693
dc.language.isoen
dc.publisherIIT Delhi
dc.subjectTranslation validation
dc.subjectDynamic allocation constructs
dc.subjectBlackbox modeling
dc.subjectWhitebox modeling
dc.subjectTransition graph representation
dc.titleModeling dynamic allocations and deallocations of local memory for translation validation
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TH-8095.pdf
Size:
431.59 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download

Collections

Department of Computer Science and Engineering