External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout. Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer. In Supratik Chakraborty, Jorge A. Navas, editors, Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers. Volume 12031 of Lecture Notes in Computer Science, pages 1-18, Springer, 2019. [doi]

Authors

Matthieu Journault

This author has not been identified. Look up 'Matthieu Journault' in Google

Antoine Miné

This author has not been identified. Look up 'Antoine Miné' in Google

Raphaël Monat

This author has not been identified. Look up 'Raphaël Monat' in Google

Abdelraouf Ouadjaout

This author has not been identified. Look up 'Abdelraouf Ouadjaout' in Google
runs on