Pages that link to "Item:Q3067530"

The following pages link to Static Contract Checking with Abstract Interpretation (Q3067530):

Displaying 12 items.

• A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
• Contract-based verification of MATLAB-style matrix programs (Q282101) (← links)
• An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
• Demand-driven interprocedural analysis for map-based abstract domains (Q1785851) (← links)
• Unbounded procedure summaries from bounded environments (Q2234080) (← links)
• Automatic Inference of Access Permissions (Q2891412) (← links)
• Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (Q3075478) (← links)
• Practical run-time checking via unobtrusive property caching (Q4593012) (← links)
• Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354) (← links)
• Incremental and Modular Context-sensitive Analysis (Q4957220) (← links)
• Checking Compatibility of Bit Sizes in Floating Point Comparison Operations (Q5170177) (← links)
• Higher order symbolic execution for contract verification and refutation (Q5371996) (← links)