Vai al contenuto principale della pagina

Practical Aspects of Declarative Languages [[electronic resource] ] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / / edited by Marco Gavanelli, John Reppy



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Practical Aspects of Declarative Languages [[electronic resource] ] : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / / edited by Marco Gavanelli, John Reppy Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Edizione: 1st ed. 2016.
Descrizione fisica: 1 online resource (X, 187 p. 29 illus. in color.)
Disciplina: 005.131
Soggetto topico: Programming languages (Electronic computers)
Computer programming
Computer logic
Software engineering
Algorithms
Programming Languages, Compilers, Interpreters
Programming Techniques
Logics and Meanings of Programs
Software Engineering
Algorithm Analysis and Problem Complexity
Persona (resp. second.): GavanelliMarco
ReppyJohn
Note generali: Includes index.
Sommario/riassunto: This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc.
Titolo autorizzato: Practical Aspects of Declarative Languages  Visualizza cluster
ISBN: 3-319-28228-X
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996466057203316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Serie: Programming and Software Engineering ; ; 9585