+Negli esempi precedenti abbiamo sempre identificato le singole macchine
+attraverso indirizzi numerici, sfruttando al più le funzioni di conversione
+elementari illustrate in sez.~\ref{sec:sock_addr_func} che permettono di
+passare da un indirizzo espresso in forma dotted decimal ad un numero. Vedremo
+in questa sezione le funzioni utilizzate per poter identificare le varie
+proprietà di un indirizzo (numero IP e porta) attraverso dei nomi simbolici
+che vengano automaticamente tradotti nei rispettivi valori numerici.
+
+
+\subsection{Il sistema del \textit{resolver}}
+\label{sec:sock_resolver}
+
+