Context Navigation

-                      rf6bbc92
+                      r3b10778
 For example, the conversion cost from @int@ to a @struct S@ is @infinite@.
+In \CFA, the meaning of a C style cast is determined by its @Cast Cost@. For most cast expression resolution, a cast cost is equal to a conversion cost.
+Cast cost exists as an independent matrix for conversion that cannot happen implicitly, while being possible with an explicit cast. These conversions are often defined to have
+infinite conversion cost and non-infinite cast cost.
+In \CFA, the meaning of a C-style cast is determined by its @Cast Cost@.
+For most cast-expression resolution, a cast cost is equal to a conversion cost.
+Cast cost exists as an independent matrix for conversion that cannot happen implicitly, while being possible with an explicit cast.
+These conversions are often defined to have infinite conversion cost and non-infinite cast cost.

Note: See TracChangeset for help on using the changeset viewer.

Changeset 3b10778 for doc/theses/jiada_liang_MMath/background.tex