6 Matching Annotations
- Last 7 days
-
arxiv.org arxiv.org
-
This implies that any correct run of the imple-mentation that stutters indefinitely has infinitely many opportunities to activatethe specification. Under the standard assumption that an opportunity that ispresented infinitely often is eventually seized, a live implementation does notdeadlock as it eventually activates the specification.
-
Live
I.e., there is a possible further computation from
ytoy', as well as fromsigma(y)tosigma(y').I.e., from any TS' computable mapped state
ythere is a computable mapped statey'.
Tags
Annotators
URL
-
- Oct 2022
-
shalabh.com shalabh.com
-
it can be ‘run’ at some point, which produces the ‘running program’. Not to be confused with a ‘non-running program’, the running program is the original program plus some run time state attached to its various parts which changes as it runs.
Reminiscent of The Pinocchio Problem.
-
today many “programs” are really just small parts of a greater, “living” network of programs and services
-
- Mar 2019
-
fldit-www.cs.uni-dortmund.de fldit-www.cs.uni-dortmund.de
-
Eine beliebte Klassifizierung dynamischer Eigenschaften liefert die Unterscheidung inSicherheitsbedin-gungen(safety conditions) auf der eine Seite undLebendigkeitsbedingungen(liveness conditions) auf deranderen Seite. Nach [14], S. 94, schließt eine Sicherheitsbedingung das Auftreten von etwas Schlechtem aus, wäh-rend eine Lebendigkeitsbedingung das Auftreten von etwas Gutem garantiert. E
-
- Mar 2018
-
github.com github.com
-
Variable liveness analysis based on control flow graph
学习一下如果利用 liveness analysis 进行内存优化
Tags
Annotators
URL
-