, Python Enhancement Proposal, vol.484, pp.2018-2025
, , pp.2018-2025
, , pp.2018-2025
, , pp.2018-2025
Combining String Abstract Domains for JavaScript Analysis: An Evaluation, TACAS (1), vol.10205, pp.41-57, 2017. ,
A simple and efficient Union-Find-Delete algorithm, Theor. Comput. Sci, vol.412, issue.4-5, pp.487-492, 2011. ,
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Foundations and Trends in Programming Languages, vol.2, pp.71-190, 2015. ,
URL : https://hal.archives-ouvertes.fr/inria-00528611
A trusted mechanised JavaScript specification, POPL, pp.87-100, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00910135
Types as Abstract Interpretations, Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, pp.316-331, 1997. ,
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pp.238-252, 1977. ,
Cost versus precision for approximate typing for Python, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, pp.89-98, 2017. ,
Static Value Analysis of Python Programs by Abstract Interpretation, NASA Formal Methods-10th International Symposium, NFM 2018, vol.10811, pp.185-202, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01782390
Abstracting gradual typing, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.429-442, 2016. ,
Fast and precise hybrid type inference for JavaScript, PLDI, pp.239-250, 2012. ,
MaxSMT-Based Type Inference for Python 3, CAV, vol.10982, pp.12-19, 2018. ,
Type Analysis for JavaScript, SAS, vol.5673, pp.238-255, 2009. ,
RATA: Rapid Atomic Type Analysis by Abstract InterpretationApplication to JavaScript Optimization, CC, vol.6011, pp.66-83, 2010. ,
Design and implementation of sparse global analyses for C-like languages, PLDI, pp.229-238, 2012. ,
Gradual Typing for Objects, ECOOP, vol.4609, pp.2-27, 2007. ,
The Julia Static Analyzer for Java, SAS, vol.9837, pp.39-57, 2016. ,