Talk:Typestate analysis

Latest comment: 6 years ago by 79.218.67.102 in topic "Typestate" employed in Rust's move semantics

Static vs. dynamic analysis

edit
  • 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.

Jochen Burghardt (talk) 10:46, 12 September 2013 (UTC)Reply

"Typestate" employed in Rust's move semantics

edit

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)Reply