source:doc/theses/aaron_moss_PhD/phd/resolution-heuristics.tex@af00c45

Last change on this file since af00c45 was af00c45, checked in by Aaron Moss <a3moss@…>, 4 years ago

Thesis edits

• Property mode set to 100644
File size: 1.2 KB
Line
1\chapter{Resolution Heuristics}
2\label{resolution-chap}
3
4The main task of the \CFACC{} type-checker is \emph{expression resolution}, determining which declarations the identifiers in each expression correspond to.
5Resolution 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.
6I 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.
7To 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.