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 formal account of SSA in Java-like languages

Davide Ancona, Andrea Corradi. A formal account of SSA in Java-like languages. In Vladimir Klebanov, editor, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016. pages 2, ACM, 2016. [doi]

Authors

Davide Ancona

This author has not been identified. Look up 'Davide Ancona' in Google

Andrea Corradi

This author has not been identified. Look up 'Andrea Corradi' in Google
runs on