Jump to content

Talk:Typestate analysis

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]