ADT
aaron-thesis
arm-eh
ast-experimental
cleanup-dtors
enum
forall-pointer-decay
jacob/cs343-translation
jenkins-sandbox
new-ast
new-ast-unique-expr
persistent-indexer
pthread-emulation
qualifiedEnum
|
Last change
on this file since f8de4e4 was af00c45, checked in by Aaron Moss <a3moss@…>, 7 years ago |
|
Thesis edits
|
-
Property mode
set to
100644
|
|
File size:
1.2 KB
|
| Line | |
|---|
| 1 | \chapter{Resolution Heuristics}
|
|---|
| 2 | \label{resolution-chap}
|
|---|
| 3 |
|
|---|
| 4 | The main task of the \CFACC{} type-checker is \emph{expression resolution}, determining which declarations the identifiers in each expression correspond to.
|
|---|
| 5 | Resolution is a straightforward task in C, as each declaration has a unique identifier, but in \CFA{} the name overloading features discussed in Section~\ref{overloading-sec} generate multiple candidate declarations for each identifier.
|
|---|
| 6 | I refer to a given matching between identifiers and declarations in an expression as an \emph{interpretation}; an interpretation also includes information about polymorphic type bindings and implicit casts to support the \CFA{} features discussed in Sections~\ref{poly-func-sec} and~\ref{implicit-conv-sec}, each of which increase the proportion of feasible candidate interpretations.
|
|---|
| 7 | To choose between feasible interpretations, \CFA{} defines a \emph{conversion cost} to rank interpretations; the expression resolution problem is thus to find the unique minimal-cost interpretation for an expression, reporting an error if no such interpretation exists.
|
|---|
| 8 |
|
|---|
| 9 | \section{Conversion Cost}
|
|---|
| 10 |
|
|---|
| 11 |
|
|---|
| 12 |
|
|---|
| 13 | % Discuss changes to cost model, as promised in Ch. 2
|
|---|
| 14 |
|
|---|
| 15 | % Mention relevance of work to C++20 concepts
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
