Pages that link to "Item:Q4632437"
From MaRDI portal
The following pages link to Reasoning about programs by exploiting the environment (Q4632437):
Displaying 5 items.
- Analyzing the environment structure of higher-order languages using frame strings (Q879361) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- Verification, refinement and scheduling of real-time programs (Q1589590) (← links)
- Reasoning about programs by exploiting the environment (Q4632437) (← links)
- Reasoning About Incompletely Defined Programs (Q5387856) (← links)