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

Format:

Book

Contributor:

Gavanelli, Marco, editor.

Reppy, John, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 9585.

Programming and Software Engineering ; 9585

Language:

English

Subjects (All):

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.

Local Subjects:

Programming Languages, Compilers, Interpreters.

Programming Techniques.

Logics and Meanings of Programs.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Physical Description:

1 online resource (X, 187 pages) : 29 illustrations in color.

Edition:

First edition 2016.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2016.

System Details:

text file PDF

Summary:

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, et cetera.

Other Format:

Printed edition:

ISBN:

978-3-319-28228-2

9783319282282

Access Restriction:

Restricted for use by site license.