Pages that link to "Item:Q2371554"
From MaRDI portal
The following pages link to Verification as a parameterized testing (experiments with the SCP4 supercompiler) (Q2371554):
Displaying 7 items.
- Supercompilation for Martin-Lof's type theory (Q300348) (← links)
- Ping-pong protocols as prefix grammars: modelling and verification via program transformation (Q739638) (← links)
- On one application of computations with oracle (Q1758675) (← links)
- Higher-level supercompilation as a metasystem transition (Q1758721) (← links)
- Intermediate representation of programs with type specification based on pattern matching (Q2217191) (← links)
- Certifying Supercompilation for Martin-Löf’s Type Theory (Q3455070) (← links)
- REACHABILITY ANALYSIS IN VERIFICATION VIA SUPERCOMPILATION (Q3526545) (← links)
