Talk:Definite assignment analysis: Difference between revisions

Content deleted Content added

Revision as of 23:23, 27 August 2009 edit Daira Emma Hopwood (talk \| contribs) Extended confirmed users 1,562 edits precedent in 'typestate analysis' of Hermes and NIL		Latest revision as of 16:09, 31 January 2024 edit undo Cewbot (talk \| contribs) Bots 8,375,844 edits m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Tag: Talk banner shell conversion
(2 intermediate revisions by 2 users not shown)
Line 1: {{WikiProject banner shell\| {{WikiProject Computer science}} }} Although not quite the same as definite assignment analysis (see [http://mail.python.org/pipermail/python-list/2006-July/564973.html] and [http://mail.python.org/pipermail/python-list/2006-July/565270.html]), an early precedent is the "typestate" analysis done by the Hermes programming language. Quoting from the introduction of [http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/vol25/issue4/spe950wk.pdf]: Line 11 ⟶ 14: </blockquote> --[[User:David-Sarah Hopwood\|David-Sarah Hopwood ⚥]] ([[User talk:David-Sarah Hopwood\|talk]]) 23:2324, 27 August 2009 (UTC)