Talk:Typestate analysis

Static vs. dynamic analysis
Jochen Burghardt (talk) 10:46, 12 September 2013 (UTC)
 * The article should mention explicitly whether typestate analyses are performed during runtime ("dynamically") or before ("statically"). Possibly, this may differ depending on the supporting tools/languages.
 * Abstract interpretation-based analysis seems to be useful to detect possible aliases. If this technique is in fact employed by some approach, an appropriate cross-link could be given in the article.

"Typestate" employed in Rust's move semantics
This text says: "Other examples include the Clara[18] language research framework, earlier versions of the Rust language, and the >> keyword in ATS.[19]". But as far as I know, one of Rust's core innovations is that it tracks if a variable has been moved out, so later code cannot read from a variable anymore. 79.218.67.102 (talk) 06:36, 11 June 2018 (UTC)