Difference between revisions of "Talk:IO Semantics"

Revision as of 03:54, 3 December 2009

I don't understand in what sense this IO definition is a "semantics". Conal 04:49, 12 December 2008 (UTC)

It provides a concrete definition of IO that can be compared for equality to know if two IO programs are equivalent or not. --Roconnor 03:54, 3 December 2009 (UTC)

Revision as of 04:49, 12 December 2008 (view source) Conal (talk \| contribs)		Revision as of 03:54, 3 December 2009 (view source) Roconnor (talk \| contribs) Newer edit →
Line 1:		Line 1:
	I don't understand in what sense this IO definition is a "semantics". [[User:Conal\|Conal]] 04:49, 12 December 2008 (UTC)		I don't understand in what sense this IO definition is a "semantics". [[User:Conal\|Conal]] 04:49, 12 December 2008 (UTC)
		+
		+	It provides a concrete definition of IO that can be compared for equality to know if two IO programs are equivalent or not. --[[User:Roconnor\|Roconnor]] 03:54, 3 December 2009 (UTC)

Difference between revisions of "Talk:IO Semantics"

Revision as of 03:54, 3 December 2009

Navigation menu

Search