Reasoning about naming systems

  • Authors:
  • Mic Bowman;Saumya K. Debray;Larry L. Peterson

  • Affiliations:
  • Pennsylvania State Univ., University Park;Univ. of Arizona, Tucson;Univ. of Arizona, Tucson

  • Venue:
  • ACM Transactions on Programming Languages and Systems (TOPLAS)
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract