Tallenna
Aliasing in Object-Oriented Programming
The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.
- Alaotsikko
- Types, Analysis and Verification
- Toimittaja
- David Clarke, Tobias Wrigstad, James Noble
- Painos
- 2013 ed.
- ISBN
- 9783642369452
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 26.3.2013
- Sivumäärä
- 515
