Search results for: George C. Necula
Lecture Notes in Computer Science > Automated Deduction—CADE-18 > Proof-Carrying Code and Compiler Verification > 47-62
Lecture Notes in Computer Science > Static Analysis > Session 5 > 318-335
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Specification, Program Synthesis > 461-476
Lecture Notes in Computer Science > Compiler Construction > Domain-Specific Languages and Tools > 213-228
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 311-323
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification II > 476-490
Lecture Notes in Computer Science > Software Security — Theories and Systems > Proof-Carrying Code and Type Systems for Security Protocols > 283-298
Lecture Notes in Computer Science > Software Security - Theories and Systems > Part 3: Safe Implementation of Programming Languages > 209-225
Lecture Notes in Computer Science > Programming Languages and Systems > Types for Systems Properties > 520-535