Experience with FS 0 as a framework theory (1993)

by Sean Matthews , Alan Smaill , David Basin
Citations:16 - 4 self

Active Bibliography

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1111 Proof-Carrying Code – George C. Necula - 1997
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
57 Metatheory and Reflection in Theorem Proving: A Survey and Critique – John Harrison - 1995
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
22 A Metatheory of a Mechanized Object Theory – Fausto Giunchiglia, Paolo Traverso - 1994
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller