scientific article; zbMATH DE number 7361366

zbMath1464.68071arXiv1309.5149MaRDI QIDQ4994703

No author found.

Publication date: 21 June 2021

Full work available at URL: https://arxiv.org/abs/1309.5149

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (3)

Automatically proving termination and memory safety for programs with pointer arithmetic ⋮ Soundness Conditions for Big-Step Semantics ⋮ Reasoning about iteration and recursion uniformly based on big-step semantics

Uses Software

• Coq

This page was built for publication: