-
1Academic Journal
Contributors: Campion, Marco
Source: Proceedings of the ACM on Programming Languages. 8:1629-1662
Subject Terms: Program Monotonicity, Completeness, Complete-Analyzability, Abstract Interpretation, Complete-Analyzability, Completeness, Program Analysis, Program Monotonicity, Program Analysis, Program reasoning Abstract Interpretation, Theory of computation → Program analysis, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, CCS Concepts: Theory of computation → Program analysis Abstraction Program verification Program reasoning Abstract Interpretation, Program verification, 0202 electrical engineering, electronic engineering, information engineering, Abstraction
File Description: application/pdf
-
2Academic Journal
Authors: Gorogiannis, N, O'Hearn, PW, Sergey, I
Source: Proceedings of the ACM on Programming Languages. 3:1-29
Subject Terms: CCS Concepts: • Theory of computation → Program analysis, FOS: Computer and information sciences, Computer Science - Programming Languages, • Software and its engineering → Concurrent programming structures, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)
File Description: application/pdf
Linked Full TextAccess URL: https://dl.acm.org/doi/pdf/10.1145/3290370
http://arxiv.org/abs/1811.03503
https://eprints.mdx.ac.uk/29747/1/3290370.pdf
https://eprints.mdx.ac.uk/29747/
https://dl.acm.org/doi/pdf/10.1145/3290370
https://dl.acm.org/doi/10.1145/3290370
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#GorogiannisOS19
http://ui.adsabs.harvard.edu/abs/2018arXiv181103503G/abstract
https://arxiv.org/abs/1811.03503
https://arxiv.org/pdf/1811.03503.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1811.html#abs-1811-03503
https://discovery-pp.ucl.ac.uk/id/eprint/10074329/