2007
9 references published this year.
Verification of object-oriented software: The KeY approach
Bernhard Beckert et al. (2007)
Relational parametricity and separation logic
Lars Birkedal et al. (2007) · 10th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS)
A 30 Year Retrospective on Dennard's MOSFET Scaling Paper
M. Bohr (2007) · IEEE Solid-State Circuits Society Newsletter
A semantics for concurrent separation logic
Stephen Brookes (2007) · Theoretical Computer Science
Local reasoning about data update
Cristiano Calcagno et al. (2007) · Electronic Notes in Theoretical Computer Science
Local Action and Abstract Separation Logic
Cristiano Calcagno et al. (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
Lindström theorems for fragments of first-order logic
Balder ten Cate et al. (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS)
Resources, concurrency, and local reasoning
Peter W. O'Hearn (2007) · Theoretical computer science
Types, bytes, and separation logic
Harvey Tuch et al. (2007) · 34th ACM Symposium on Principles of Programming Languages (POPL)