DynBindModel: Difference between revisions

Revision as of 21:04, 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 T Y P E) \to (N A M E \to N A M E)$

Revision as of 20:51, 1 October 2006 view source Konradm (talk \| contribs) 1,325 edits →Motivation: ← Older edit		Revision as of 21:04, 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 γ:

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

DynBindModel: Difference between revisions

Revision as of 21:04, 1 October 2006

Motivation:

Navigation menu

Search