Inferring program specifications in polynomial-time
From MaRDI portal
Publication:5030195
DOI10.1007/3-540-61739-6_43zbMath1482.68138OpenAlexW1583988319MaRDI QIDQ5030195
Publication date: 16 February 2022
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61739-6_43
Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
This page was built for publication: Inferring program specifications in polynomial-time