MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Temporal-Logic Approach to Binding-Time Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

A temporal-logic approach to binding-time analysis
by Rowan Davies — 1996 — In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science
…BRICS Basic Research in Computer Science A Temporal-Logic Approach to Binding-Time Analysis Rowan…
Cited by 73 (4 self) – Add To MetaCart

Automata to Logic - and
by Back January Pp, Gudmund Skovbjerg Fr, Thore Husfeldt, Peter Bro Miltersen
…-51] Abstract, PostScript, DVI. Rowan Davies. A Temporal-Logic Approach to Binding-Time Analysis. October 1995…
Add To MetaCart

Semantic and Logical Properties of Stateful Programming
by Cristiano Calcagno, Walid Taha — 2002
… temporal-logic approach to binding-time analysis. In 11 th Annual IEEE Symposium on Logic in Computer…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB