Set di istruzioni

Un set di istruzioni è un gruppo di comandi per una CPU in linguaggio macchina. Il termine può riferirsi a tutte le possibili istruzioni per una CPU o un sottoinsieme di istruzioni per migliorare le sue prestazioni in determinate situazioni. Tutte le CPU hanno set di istruzioni che abilitano i comandi al processore che indirizzano … Leggi tutto

Calcolo lambda

Il Lambda Calculus, considerato la base matematica del linguaggio di programmazione, è un calcolo sviluppato da Alonzo Church e Stephen Kleene negli anni ‘1930 per esprimere tutte le funzioni computabili. Nel tentativo di formalizzare il concetto di computabilità (noto anche come costruibilità e calcolabilità effettiva), Church e Kleene svilupparono un potente linguaggio con una sintassi … Leggi tutto