The following pages link to A formal model of programs (Q1059401):
Displaying 8 items.
- The gamma model and its discipline of programming (Q751838) (← links)
- Place/transition nets with debit arcs (Q1186570) (← links)
- (Q3710486) (← links)
- (Q3725515) (← links)
- (Q4002146) (← links)
- (Q4426906) (← links)
- Formal models of stepwise refinements of programs (Q4727399) (← links)
- Formal models for some features of programming languages (Q5402520) (← links)