Fine-grained Concurrency with Separation Logic.

Reasoning about concurrent programs involves representing the information that concurrent processes manipulate disjoint portions of memory. In sophisticated applications, the division of memory between processes is not static. Through operations, processes can exchange the implied ownership of memor...

Descripción completa

Detalles Bibliográficos

Publicado en:	Journal of Philosophical Logic Vol. 40; no. 5; pp. 583 - 633
Autores principales:	Kapoor, Kalpesh, Lodaya, Kamal, Reddy, Uday
Formato:	Artículo
Publicado:	Springer Nature Oct2011
Materias:	Hoare logic Parallel programs (Computer programs) Computer software correctness Distributed computing Synchronization Garbage collection (Computer science) Computer memory management
Acceso en línea:	Ver este registro en EBSCOhost