Active Bibliography

A Survey of Support For Implementing Debuggers Abstract – Vern Paxson, Prof Anderson - 1990
2 A Survey of Support For Implementing Debuggers – Vern Paxson - 1990
3 Correctness of Trap-Based Breakpoint Implementations – Norman Ramsey - 1994
1344 The C Programming Language – Dennis M. Ritchie - 1988
1165 Proof-Carrying Code – George C. Necula - 1997
1371 The model checker SPIN – Gerard J. Holzmann - 1997
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
451 Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism – Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, Henry M. Levy - 1992
456 A Behavioral Notion of Subtyping – Barbara H. Liskov, Jeanette M. Wing - 1994