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:82 - 5 self

Active Bibliography

188 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
General Terms: Languages,Theory – Rowan Davies, Frank Pfenning
F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic—lambda calculus and – Rowan Davies, Frank Pfenning
Abstract A Modal Analysis of Staged Computation – unknown authors
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001