Projection merging

DOI10.1145/325694.325706zbMath1323.68423OpenAlexW2084816051MaRDI QIDQ5178844

Alexander Aiken, Zhendong Su, Manuel Fähndrich

Publication date: 17 March 2015

Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/325694.325706

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

The Complexity of Andersen’s Analysis in Practice ⋮ Managing the granularity of constraint-based analyses by rule transformation.

This page was built for publication: Projection merging