Libreria Editrice OssidianeLibreria Editrice Ossidiane

Elementi di Linguaggi Funzionali

Elementi di Linguaggi Funzionali

Autore/i: Carlucci Aiello Luigia; Nardi Daniele

Editore: FrancoAngeli

unica edizione, presentazione degli autori.

pp. 164, Milano

Il presente libro è un’introduzione ai “linguaggi funzionali”. La costruzione di un linguaggio funzionale come formalismo per scrivere programmi su tipi di dato astratti viene fatta in modo incrementale, partendo da un linguaggio molto elementare. Vengono poi introdotte sintassi e semantica di linguaggi sempre più espressivi. Per essi vengono costruiti interpreti e discusse alcune importanti tecniche di valutazione quali il legame dei parametri per nome e per valore e il legame statico e dinamico delle variabili; vengono infine presentate tecniche di implementazione quali il legame profondo e il legame superficiale.

Luigia Carlucci Aiello è professore ordinario di programmazione dei Calcolatori elettronici presso il Dipartimento di informatica e Sistematica dell’Università di Roma “La Sapienza”. Laureata in matematica, ha precedentemente svolto la sua attività di ricerca presso l’Istituto di elaborazione dell’Informazione del Cnr a Pisa, il Laboratorio di intelligenza artificiale dell’Università di Stanfort (California) e presso l’Università di Ancona. Si è interessata di problematiche riguardanti i linguaggi di programmazione, l’automazione d’ufficio e l’intelligenza artificiale. È autore di numerose pubblicazioni in ambito nazionale e internazionale.

Daniele Nardi, laureato in ingegneria elettronica al Politecnico di Torino, ha collaborato con l’Istituto di informatica dell’Università di Ancona e con il Dipartimento di Informatica e Sistemistica dell’Università di Roma “La Sapienza” per ricerche su linguaggi di programmazione, deduzione automatica e automazione d’ufficio. Dal gennaio al dicembre 1985 è stato presso l’SRI International (Menlo Park, California). Ha pubblicato diversi articoli in ambito nazionale e internazionale.

Visualizza indice

Elementi di linguaggi funzionali:

  1. Nozioni introduttive: Definizione di insiemi e funzioni per induzione
  2. La notazione lambda Tipi di dato
  3. Il linguaggio funzionale Elf
  4. Un interprete per Elf-E
  5. Alcune riflessioni su Elf-E
  6. Il legame dei parametri
  7. Le variabili libere
  8. Il linguaggio delle funzioni Elf-E
  9. L’implementazione di Elf-E
  10. Tecniche di implementazione degli ambienti

Vai alla scheda libro e aggiungi al carrello Modalità di acquisto

Commenti

Comments are closed.