2008
10 references published this year.
Formal pervasive verification of a paging mechanism
Eyad Alkassar et al. (2008) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Handbook of Algorithms for Physical Design Automation
Charles J. Alpert et al. (2008)
Cyclic proofs of program termination in separation logic
James Brotherston et al. (2008) · ACM SIGPLAN Notices
Ensuring the correctness of lightweight tactics for JavaCard dynamic logic
Richard Bubel et al. (2008) · Electronic Notes in Theoretical Computer Science
jStar: Towards Practical Verification for Java
Dino Distefano et al. (2008) · Proceedings of the 23rd ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications
A Theory of Hygienic Macros
David Herman et al. (2008) · Programming Languages and Systems
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
Man-computer symbiosis
J. C. R. Licklider (2008) · IRE transactions on human factors in electronics
Full functional verification of linked data structures
Karen Zee et al. (2008) · ACM SIGPLAN Notices