scientific article; zbMATH DE number 7453196
From MaRDI portal
Publication:5020657
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/2008.02936
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Termination of rewriting
- Cyclic proofs of program termination in separation logic
- Proving Termination of Programs Automatically with AProVE
- Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
- The concept of a supercompiler
- A positive supercompiler
- Automatic termination proofs with transformation orderings
- The size-change principle for program termination
- Programming Languages and Systems
- Verification, Model Checking, and Abstract Interpretation
- Computer Aided Verification
- Automatic Termination Proofs for Programs with Shape-Shifting Heaps
- Termination Analysis with Calling Context Graphs
- On Computable Numbers, with an Application to the Entscheidungsproblem