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.

A Rule-Based Approach for Designing and Composing Abstract Domains

Daniel Jurjo, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo. A Rule-Based Approach for Designing and Composing Abstract Domains. In Robert Glück, Bishoksan Kafle, editors, Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Volume 14330 of Lecture Notes in Computer Science, pages 80-98, Springer, 2023. [doi]

Authors

Daniel Jurjo

This author has not been identified. Look up 'Daniel Jurjo' in Google

José F. Morales 0001

This author has not been identified. Look up 'José F. Morales 0001' in Google

Pedro López-García 0001

This author has not been identified. Look up 'Pedro López-García 0001' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google
runs on