Pages that link to "Item:Q3899469"

The following pages link to Verification of Array, Record, and Pointer Operations in Pascal (Q3899469):

Displaying 7 items.

• Doomed program points (Q633286) (← links)
• Hoare's logic and Peano's arithmetic (Q1170877) (← links)
• A program logic for resources (Q2463560) (← links)
• Verification of finite iterations over collections of variable data structures (Q2467973) (← links)
• Symbolic method of verification of definite iterations over altered data structures (Q2488048) (← links)
• A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs (Q5452196) (← links)