La programmazione logica nello sviluppo del software: dai modelli agli strumenti


Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini

Ambienti per linguaggi di nuova concezione, pp. 17-46
Collana CNR/PF "Sistemi Informatici e Calcolo Parallelo" (1418) 4,  1995
Franco Angeli, Milano, Italy
Gilberto Filè (a cura di)

Nonostante le potenzialità insite nel modello dichiarativo-relazionale su cui si basa, la programmazione logica stenta ad affermarsi nel mondo industriale. Al di là dei normali fattori d'inerzia nei confronti dell'innovazione, la limitata diffusione di questo paradigma può essere imputata a limiti obbiettivi di cui esso tuttora soffre, soprattutto per quanto riguarda lo sviluppo di sistemi di grandi dimensioni. Questo lavoro illustra le basi teoriche delle estensioni introdotte nel Progetto Finalizzato rivolte alla programmazione logica “nel grande”, e come queste siano in grado di catturare molti dei principi, dei concetti e dei meccanismi della programmazione modulare e orientata agli oggetti. Vengono inoltre presentate le scelte progettuali che sono state alla base del prodotto finale, già utilizzato in diverse applicazioni e già in uso presso numerosi centri accademici e di ricerca.

 @incollection{lpse-cnr95,
Address = {Milano, Italy},
Author = {Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
Booktitle = {Ambienti per linguaggi di nuova concezione},
Editor = {Fil{\`e}, Gilberto},
Isbn = {88-204-9515-5},
Pages = {17--46},
Publisher = {Franco Angeli},
Series = {Collana CNR/PF ``Sistemi Informatici e Calcolo Parallelo'' (1418)},
Title = {La programmazione logica nello sviluppo del software: dai modelli agli strumenti},
Volume = 4,
Year = 1995

Tags:

Pubblicazione

— autori/autrici

Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini

— a cura di

Gilberto Filè

— stato

pubblicato

— tipo

capitolo di libro

Sede di pubblicazione

— volume

Ambienti per linguaggi di nuova concezione

— collana

Collana CNR/PF "Sistemi Informatici e Calcolo Parallelo" (1418

)

— volume

4

— pagine

17-46

— data di pubblicazione

1995

Identificatori

— print ISBN

88-204-9515-5

BibTeX

— BibTeX ID
lpse-cnr95
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY