-
Semantic foundations of intermediate program representations
An end-to-end guarantee of software correctness by formal verification must consider two sources of bugs. First, the verification tool must be correct. Second,... -
Nature and role of intermediate representation (IR) in the design process
International audience
