Active Bibliography

F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic—lambda calculus and – Rowan Davies, Frank Pfenning
General Terms: Languages,Theory – Rowan Davies, Frank Pfenning
Abstract A Modal Analysis of Staged Computation – unknown authors
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
84 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
553 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
1165 Proof-Carrying Code – George C. Necula - 1997
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
518 Enforceable Security Policies – Fred B. Schneider