A relational framework for higher-order shape analysis

DOI10.1145/2628136.2628159MaRDI QIDQ2819695zbMATH OpenOpenAlexFDO

Authors 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

decidabilitydependent typesinductive relationsparametric relationsrelational specificationsstandard ML

Mathematics Subject Classification ID

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

Recommendations

• Relational inductive shape analysis
• Static Analysis
• Automating relatively complete verification of higher-order functional programs
• Graph-based shape analysis beyond context-freeness
• A shape graph logic and a shape system

Cited in

(3)

• A relational shape abstract domain
• Relational inductive shape analysis
• Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding

This page was built for publication: A relational framework for higher-order shape analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819695)