Pages that link to "Item:Q5458816"
From MaRDI portal
The following pages link to Non-termination Checking for Imperative Programs (Q5458816):
Displaying 7 items.
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- Extended Nested Dual System Groups, Revisited (Q2798774) (← links)
- Proving Termination Through Conditional Termination (Q3303892) (← links)
- A Dynamic Logic with Traces and Coinduction (Q3455778) (← links)
- Abstract Interpretation of Symbolic Execution with Explicit State Updates (Q3638994) (← links)
