Pages that link to "Item:Q1103383"
From MaRDI portal
The following pages link to An approach to analyzing the properties of programs (Q1103383):
Displaying 9 items.
- Program analysis tools (Q1856179) (← links)
- Base-type languages: Program design by upper semantic approximation (Q1905185) (← links)
- Reducing Behavioural to Structural Properties of Programs with Procedures (Q3600471) (← links)
- The Qualified Function Approach to Analysis of Program Behavior and Performance (Q3677147) (← links)
- (Q4209638) (← links)
- (Q4255591) (← links)
- (Q4414380) (← links)
- Improving program analyses, by structure untupling (Q4949972) (← links)
- Continuity analysis of programs (Q5255062) (← links)