Pages that link to "Item:Q1330458"
From MaRDI portal
The following pages link to On abstraction and the expressive power of programming languages (Q1330458):
Displaying 11 items.
- A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
- Computability and implementability issues in abstract data types (Q1095645) (← links)
- On the expressive power of programming languages (Q1183552) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- (Q3385647) (← links)
- (Q4536725) (← links)
- Expressiveness, meanings and machines (Q4628355) (← links)
- (Q5013871) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- Fully Abstract and Robust Compilation (Q6488145) (← links)