Monotonicity and the Precision of Program Analysis

Συγγραφείς: Campion, Marco, Dalla Preda, Mila, Giacobazzi, Roberto, Urban, Caterina

Συνεισφορές: Campion, Marco

Πηγή: Proceedings of the ACM on Programming Languages. 8:1629-1662

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/11562/1124226
https://doi.org/10.1145/3632897

A true positives theorem for a static race detector

Συγγραφείς: Gorogiannis, N, O'Hearn, PW, Sergey, I

Πηγή: Proceedings of the ACM on Programming Languages. 3:1-29

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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/