I linguaggi dichiarativi si basano su solide basi teoriche per fornire strutture attraenti per lo sviluppo di applicazioni. Questi linguaggi sono stati applicati con successo a un'ampia varietà di situazioni del mondo reale, tra cui la gestione di database, reti attive, ingegneria del software e sistemi di supporto alle decisioni. Nuovi sviluppi nella teoria e nell’implementazione aprono nuove opportunità. Allo stesso tempo, l’applicazione dei linguaggi dichiarativi a nuovi problemi solleva numerose ed interessanti questioni di ricerca. Queste domande ben note includono scalabilità, estensioni del linguaggio per la distribuzione delle applicazioni e ambienti di programmazione. Pertanto, le applicazioni guidano il progresso nella teoria e nell'implementazione dei sistemi dichiarativi e, a loro volta, beneficiano di questo progresso. Il Simposio internazionale sulle applicazioni pratiche dei linguaggi dichiarativi (PADL) fornisce un forum per ricercatori, professionisti e implementatori di linguaggi dichiarativi per scambiare idee sulle modalità applicative attuali e nuove e sui requisiti per un uso efficace dei sistemi dichiarativi. Il quarto simposio PADL si è tenuto a Portland, Oregon, il 19 e 20 gennaio 2002.
caricamento...
