2008
11 references published this year.
Formal pervasive verification of a paging mechanism
Eyad Alkassar and others (2008) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Handbook of Algorithms for Physical Design Automation
Charles J. Alpert and others (2008) · CRC Press
Cyclic proofs of program termination in separation logic
James Brotherston and others (2008) · ACM SIGPLAN Notices
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
Richard Bubel and others (2008) · Electronic Notes in Theoretical Computer Science
jStar: Towards Practical Verification for Java
Dino Distefano and others (2008) · Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications · Association for Computing Machinery
A Theory of Hygienic Macros
David Herman and others (2008) · 17th European Symposium on Programming (ESOP) · Springer
Measuring defect potentials and defect removal efficiency
Capers Jones (2008) · Journal of Defense Software Engineering
A Modal Sequent Calculus for Propositional Separation Logic
Neelakantan R. Krishnaswami (2008) · IMLA 2008: 4th Workshop on Intuitionistic Modal Logic and Applications
OpenFlow: enabling innovation in campus networks
Nick McKeown and others (2008) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery (ACM)
An Overview of Separation Logic
John Reynolds (2008) · Verified Software: Theories, Tools, Experiments · Springer
Full functional verification of linked data structures
Karen Zee and others (2008) · ACM SIGPLAN Notices · Association for Computing Machinery