Semiótica e Programação

É interessante observar que podemos sem erro considerar todo nome de variável e função em um programa C++ como uma referência. Esta referência, assim como possivelmente muitas outras, denotam um certo objeto que, em si, não passa de uma combinação de três informações: um local, uma quantidade de armazenagem, e um estado atual. Referências cujo tipo é ponteiro-para-Foo conotam um objeto do tipo Foo.