Dieses Ergebnis aus Springer Nature eBooks kann Gästen nicht angezeigt werden. Login für vollen Zugriff.

Contextual Equality Saturation

Title:	Contextual Equality Saturation
Authors:	Drewery, Alexandre^Aff9; Jensen, Thomas P.^{Aff9, Aff11}; Pichardie, David^Aff10
Contributors:	Goos, Gerhard, Founding Editor^Aff1; Hartmanis, Juris, Founding Editor^Aff2; Bertino, Elisa, Series Editor^Aff3; Gao, Wen, Series Editor^Aff4; Steffen, Bernhard, Series Editor^Aff5; Yung, Moti, Series Editor^Aff6; Oh, Hakjoo, editor^Aff7; Sui, Yulei, editor^Aff8
Source:	Static Analysis : 32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings. 16100:34-61
Database:	Springer Nature eBooks