scientific article; zbMATH DE number 7453196
From MaRDI portal
Publication:5020657
Authors: G. W. Hamilton 
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/2008.02936
Title of this publication is not available (Why is that?)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- The concept of a supercompiler
- Title not available (Why is that?)
- The size-change principle for program termination
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Termination of rewriting
- A positive supercompiler
- Verification, Model Checking, and Abstract Interpretation
- Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
- Termination Analysis with Calling Context Graphs
- Automatic Termination Proofs for Programs with Shape-Shifting Heaps
- Computer Aided Verification
- Title not available (Why is that?)
- Cyclic proofs of program termination in separation logic
- Programming Languages and Systems
- Automatic termination proofs with transformation orderings
- Proving termination of programs automatically with AProVE
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020657)
