Pages that link to "Item:Q4943358"
From MaRDI portal
The following pages link to Compilation and equivalence of imperative objects (Q4943358):
Displaying 4 items.
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Asynchronous sequential processes (Q1013090) (← links)
- Program equivalence in an untyped, call-by-value functional language with uncurried functions (Q2693299) (← links)
