External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reducing Lookups for Invariant Checking

Jakob G. Thomsen, Christian Clausen, Kristoffer J. Andersen, John Danaher, Erik Ernst. Reducing Lookups for Invariant Checking. In Giuseppe Castagna, editor, ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Volume 7920 of Lecture Notes in Computer Science, pages 426-450, Springer, 2013. [doi]

Authors

Jakob G. Thomsen

This author has not been identified. Look up 'Jakob G. Thomsen' in Google

Christian Clausen

This author has not been identified. Look up 'Christian Clausen' in Google

Kristoffer J. Andersen

This author has not been identified. Look up 'Kristoffer J. Andersen' in Google

John Danaher

This author has not been identified. Look up 'John Danaher' in Google

Erik Ernst

This author has not been identified. It may be one of the following persons: Look up 'Erik Ernst' in Google
runs on