Inproceedings,

Specifying the Correctness of Binding-Time Analysis.

.
POPL, page 137-143. ACM Press, (1993)

Meta data

Tags

Users

  • @dblp

Comments and Reviews