Titel

Merkliste
1 Ergebnisse

A separation logic to verify termination of busy-waiting fo..:

Reinhard, Tobias ; Timany, Amin ; Jacobs, Bart
Reinhard , T , Timany , A & Jacobs , B 2020 , A separation logic to verify termination of busy-waiting for abrupt program exit . in FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs . Association for Computing Machinery , New York , pp. 26-32 , 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020 , Virtual, Online , United States , 23/07/2020 . https://doi.org/10.1145/3427761.3428345. , 2020

Link: https://pure.au.dk/portal/da/publications/a-separation..

RT Journal
T1 <Title>A separation logic to verify termination of busy-waiting for abrupt program exit</Title>

UL https://suche.suub.uni-bremen.de/peid=base-ftuniaarhuspubl:oai:pure.atira.dk:publications_b9ce02a4-8927-4bc6-8264-02698d0c5aed&Exemplar=1&LAN=DE
				
A1 Reinhard, Tobias
A1 Timany, Amin
A1 Jacobs, Bart
PB Association for Computing Machinery
YR 2020
K1 Busy-Waiting
K1 Separation Logic
K1 Termination
JF Reinhard , T , Timany , A & Jacobs , B 2020 , A separation logic to verify termination of busy-waiting for abrupt program exit . in FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs . Association for Computing Machinery , New York , pp. 26-32 , 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020 , Virtual, Online , United States , 23/07/2020 . https://doi.org/10.1145/3427761.3428345
LK http://dx.doi.org/https://pure.au.dk/portal/da/publications/a-separation-logic-to-verify-termination-of-busywaiting-for-abrupt-program-exit(b9ce02a4-8927-4bc6-8264-02698d0c5aed).html
DO https://pure.au.dk/portal/da/publications/a-separation-logic-to-verify-termination-of-busywaiting-for-abrupt-program-exit(b9ce02a4-8927-4bc6-8264-02698d0c5aed).html
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)