Research output

  1. Compositional soundness proofs of abstract interpreters

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  2. Toward Abstract Interpretation of Program Transformations

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. The IDE Portability Problem and Its Solution in Monto

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

View all (3) »

ID: 4047331