Aliasing Control in an Imperative Pure Calculus
From MaRDI portal
Publication:3460909
DOI10.1007/978-3-319-26529-2_12zbMath1329.68082OpenAlexW2295913681MaRDI QIDQ3460909
Publication date: 8 January 2016
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-26529-2_12
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items