Academic literature on the topic 'Abstract Interpretation, Abstract Domain, Program Analysis, Partial Completeness'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Contents
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Abstract Interpretation, Abstract Domain, Program Analysis, Partial Completeness.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Abstract Interpretation, Abstract Domain, Program Analysis, Partial Completeness"
Campion, Marco, Mila Dalla Preda, and Roberto Giacobazzi. "Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis." Proceedings of the ACM on Programming Languages 6, POPL (January 16, 2022): 1–31. http://dx.doi.org/10.1145/3498721.
Full textMARIÑO, JULIO, ÁNGEL HERRANZ, and JUAN JOSÉ MORENO-NAVARRO. "Demand analysis with partial predicates." Theory and Practice of Logic Programming 7, no. 1-2 (January 2007): 153–82. http://dx.doi.org/10.1017/s1471068406002882.
Full textGARCÍA-CONTRERAS, ISABEL, JOSÉ F. MORALES, and MANUEL V. HERMENEGILDO. "Semantic code browsing." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 721–37. http://dx.doi.org/10.1017/s1471068416000417.
Full textBruni, Roberto, Roberto Giacobazzi, Roberta Gori, and Francesco Ranzato. "A Correctness and Incorrectness Program Logic." Journal of the ACM, February 6, 2023. http://dx.doi.org/10.1145/3582267.
Full textDissertations / Theses on the topic "Abstract Interpretation, Abstract Domain, Program Analysis, Partial Completeness"
Campion, Marco. "Partial (In)Completeness in Abstract Interpretation." Doctoral thesis, 2021. http://hdl.handle.net/11562/1049799.
Full text