scientific article; zbMATH DE number 7361354
From MaRDI portal
Publication:4994692
zbMath1464.68072arXiv1309.5138MaRDI QIDQ4994692
Bor-Yuh Evan Chang, Xavier Rival
Publication date: 21 June 2021
Full work available at URL: https://arxiv.org/abs/1309.5138
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
A generic framework for heap and value analyses of object-oriented programming languages ⋮ Lightweight shape analysis based on physical types ⋮ Lifting numeric relational domains to algebraic data types ⋮ A relational shape abstract domain
This page was built for publication:
