A relational framework for higher-order shape analysis

DOI10.1145/2628136.2628159zbMath1345.68062OpenAlexW2108471047MaRDI QIDQ2819695

Gowtham Kaki, Suresh Jagannathan

Publication date: 29 September 2016

Published in: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: http://tycon.github.io/catalyst/techrep.pdf

zbMATH Keywords

decidabilitystandard MLdependent typesrelational specificationsinductive relationsparametric relations

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A relational shape abstract domain