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 Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs

Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello. A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. In Hongseok Yang, editor, Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings. Volume 7078 of Lecture Notes in Computer Science, pages 137-154, Springer, 2011. [doi]

Authors

Benoit Boissinot

This author has not been identified. Look up 'Benoit Boissinot' in Google

Florian Brandner

This author has not been identified. Look up 'Florian Brandner' in Google

Alain Darte

This author has not been identified. Look up 'Alain Darte' in Google

Benoît Dupont de Dinechin

This author has not been identified. Look up 'Benoît Dupont de Dinechin' in Google

Fabrice Rastello

This author has not been identified. Look up 'Fabrice Rastello' in Google
runs on