A temporal-logic approach to binding-time analysis (1996)

by Rowan Davies
Venue:In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science
Citations:81 - 5 self

Document Versions

A temporal-logic approach to binding-time analysis –Rowan Davies — 1996 — In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science
A Temporal-Logic Approach to BindingTime Analysis –Rowan Davies — 1995
A Temporal-Logic Approach to Binding-Time Analysis –Rowan Davies — 1995 — In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science
A temporal-logic approach to binding-time analysis –Rowan Davies — 1996 — In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science