Permission-Based Separation Logic for Multithreaded Java Programs✩ Christian Haacka,1 , Marieke Huismanb,2 , Cl´ement Hurlinc,3,∗ a Aicas GmbH, Karslruhe, Germany

First Page		Document Content
Date: 2011-03-06 18:47:02		Permission-Based Separation Logic for Multithreaded Java Programs✩ Christian Haacka,1 , Marieke Huismanb,2 , Cl´ement Hurlinc,3,∗ a Aicas GmbH, Karslruhe, Germany Add to Reading List Source URL: fmt.cs.utwente.nl Download Document from Source Website File Size: 713,79 KB Share Document on Facebook