Leo Liberti, James Ostrowski
Journal of Global Optimization
Paper
Equations as a Uniform Framework for Partial. Evaluation and Abstract Interpretation
Abstract
Categories and Subject Descriptors: D.3.4 [Programming Languages]: Processors—code gen- eration; compilers: optimization; F.3.2 [Logics and Meanings of Programs]: Semantics ol Programming Languages—algebraic approaches to semantics. © 1998, ACM. All rights reserved.
Related
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking
Conference paper
COUNTERFACTUAL CONCEPT BOTTLENECK MODELS
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
Fan Zhang, Junwei Cao, et al.
IEEE TETC