DynBindModel: Difference between revisions

Revision as of 21:05, 1 October 2006

Motivation:

Eiffels dynamic binding is somewhat more complex than that of other languages. Its structure is still very simple and can be described by giving the relation γ:

$γ : (T Y P E \times N A M E) \to (T Y P E \to N A M E)$

Revision as of 21:04, 1 October 2006 view source Konradm (talk \| contribs) 1,325 edits →Motivation: ← Older edit		Revision as of 21:05, 1 October 2006 view source Konradm (talk \| contribs) 1,325 edits →Motivation: Newer edit →
Line 3:		Line 3:
	Eiffels dynamic binding is somewhat more complex than that of other languages. Its structure is still very simple and can be described by giving the relation γ:		Eiffels dynamic binding is somewhat more complex than that of other languages. Its structure is still very simple and can be described by giving the relation γ:

	<math>\gamma : (\mathrm{TYPE} \times \mathrm{~~TYPE~~}) \rightarrow (\mathrm{~~NAME~~} \rightarrow \mathrm{NAME}) </math>		<math>\gamma : (\mathrm{TYPE} \times \mathrm{NAME}) \rightarrow (\mathrm{TYPE} \rightarrow \mathrm{NAME}) </math>

DynBindModel: Difference between revisions

Revision as of 21:05, 1 October 2006

Motivation:

Navigation menu

Search