Elementi di linguaggi funzionali

Luigia Carlucci Aiello, Daniele Nardi

Elementi di linguaggi funzionali

Printed Edition

24.50

Pages: 152

ISBN: 9788820440664

Edition: 1a edizione 1985

Publisher code: 272.3

Availability: Limitata

Il presente libro è un'introduzione al 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 motto 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 legante 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 elettronica presso Il Dipartimento di Informatica e Sistemistica 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 Stanford California e presso l'Università di Ancona. Si è Interessata di problematiche riguardanti i linguaggi di programmazione, l'automazione d'ufficio e l'intelligenza Artificiale. E' 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 della 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 lnternational Menio Park, California. Ha pubblicato diversi articoli in ambito nazionale e internazionale.

• Elementi di linguaggi funzionali
• Nozioni introduttive: Definizione di insiemi e funzioni per induzione
• La notazione lambda Tipi di dato
• Il linguaggio funzionale Elf
• Un interprete per Elf-E
• Alcune riflessioni su Elf-E
• l legame dei parametri
• Le variabili libere
• Il linguaggio delle funzioni Elf-E
• L'implementazione di Elf-E
• Tecniche di implementazione degli ambienti.


Serie: Crai