OTAWA

WorkSpace

Properties, Features and Instructions
Properties, Features and Instructions

Properties, Features and Instructions

Summary This lecture presents basics of OTAWA programming: features allows to require already implemented services that are represented by properties hooked to the program representation.Properties may also be used to alleviate implementation of program analyses. In the end, this applied…