PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rival, Xavier"

Author of the publication

copydeleteadd this publication to your clipboard
Construction of Abstract Domains for Heterogeneous Properties (Position Paper).

, , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 489-492. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Rival, Xavier
add a person with the name Rival, Xavier
 

Other publications of authors with the same name

Static Analysis and Verification of Aerospace Software by Abstract Interpretation., , , , , , and . Foundations and Trends in Programming Languages, 2 (2-3): 71-190 (2015)An array content static analysis based on non-contiguous partitions., and . Computer Languages, Systems & Structures, (2017)Weakly sensitive analysis for JavaScript object-manipulating programs., , and . Softw., Pract. Exper., 49 (5): 840-884 (2019)Abstract Dependences for Alarm Diagnosis.. APLAS, volume 3780 of Lecture Notes in Computer Science, page 347-363. Springer, (2005)The ASTREÉ Analyzer., , , , , , and . ESOP, volume 3444 of Lecture Notes in Computer Science, page 21-30. Springer, (2005)Towards verified stochastic variational inference for probabilistic programs., , , and . Proc. ACM Program. Lang., 4 (POPL): 16:1-16:33 (2020)Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction., , and . SOAP@PLDI, page 1-6. ACM, (2017)An Abstract Domain Combinator for Separately Conjoining Memory Abstractions., , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 285-301. Springer, (2014)Automatic Analysis of Open Objects in Dynamic Language Programs., , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 134-150. Springer, (2014)Certification of compiled assembly code by invariant translation.. STTT, 6 (1): 15-37 (2004)