Flow Analysis, Linearity, and PTIME

DOI10.1007/978-3-540-69166-2_17zbMath1149.68368arXiv1311.5825OpenAlexW1532788031MaRDI QIDQ3522075

David A. Vanhorn, Harry G. Mairson

Publication date: 28 August 2008

Published in: Static Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

This page was built for publication: Flow Analysis, Linearity, and PTIME