Pages that link to "Item:Q4522757"
From MaRDI portal
The following pages link to Approximation of abstract semantics by formal models of programs (Q4522757):
Displaying 8 items.
- Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
- Approximability of some program models by others (Q1858999) (← links)
- Optimal Abstraction on Real-Valued Programs (Q3611997) (← links)
- (Q3710486) (← links)
- Ordnungstheoretische Semantik approximativer Berechnung (Q3995186) (← links)
- (Q4040912) (← links)
- Formal models of stepwise refinements of programs (Q4727399) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703814) (← links)