Separation Logic.
The article examines the use of separation logic in reasoning about computer programs. It looks at how separation logic supports scalable reasoning through the frame rule, an inference rule that allows a proof to be localized to the resources that a program component accesses. Concurrent separation...
| Publicado en: | Communications of the ACM Vol. 62; no. 2; pp. 86 - 96 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Feb2019
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |