Pages that link to "Item:Q3165529"
From MaRDI portal
The following pages link to Systematic abstraction of abstract machines (Q3165529):
Displaying 8 items.
- A generative methodology for the design of abstract machines (Q1581064) (← links)
- Distilling abstract machines (Q2819700) (← links)
- (Q3596461) (← links)
- The Vienna abstract machine (Q4339848) (← links)
- Abstraction of hardware construction (Q4645815) (← links)
- (Q4813223) (← links)
- Abstracting abstract machines (Q5176929) (← links)
- Higher order symbolic execution for contract verification and refutation (Q5371996) (← links)