• Uniqueness Types for Efficient...

Treffer: Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming

Title:
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
Integrated formal methods, IFM (15th international conference)
Authors:
Benoit, Tuur, Jacobs, Bart
Source:
Lecture notes in computer science. 11918:46-64
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN605755924&indx=1&recIds=ETOCCN605755924
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings