My actions
Close
Username
Password
Search
Submit
Help
Search tips
What's your PUBLISHER policy?
Check with SHERPA/ROMEO whether your PUBLISHER allows you to put your own papers online.
Access
Contact
Laboratory for Automated Reasonig an Analysis
Format
Export
I want to...
Search for similar records

Search


   
Close
Limit to these document types:
Publications
 Journal Articles
 Reviews
 Conference Papers
Monographs
 Books
 Thesis
 Book chapters
 Conference Proceedings
Reports
 Technical Reports
 Working papers
 Presentations & Talks
 Posters
 Presentations & Talks
Standards & Patents
 Standards
 Patents
Lectures & Teaching Material
 Teaching documents
 Student projects
Filter by publication status Filter by origin Fulltext availability
 Peer-reviewed publications
 Published  Accepted  Submitted
  Work produced at EPFL
  Publicly available  Restricted access
CONFERENCE PAPER

Hob: A Tool for Verifying Data Structure Consistency

Lam, Patrick ; Kuncak, Viktor ; Rinard, Martin

In: 14th International Conference on Compiler Construction (tool demo), 2005

Date: 2005

Reference: LARA-CONF-2005-007

Record created on 2007-08-21, modified on 2010-03-13