Proceedings of the 21st international symposium on principles and practice of declarative programming

Welcome to the 21st Symposium on Principles and Practice of Declarative Programming - PPDP 2019! This year's symposium continues the long tradition of bringing together researchers from the various declarative programming communities, including those working in the functional, logic, answer-set...

Descripción completa

Detalles Bibliográficos
Otros Autores: Komendantskaya, Ekaterina, editor (editor)
Formato: Libro electrónico
Idioma:Inglés
Publicado: New York, New York : Association for Computing Machinery 2019.
Colección:ACM Other conferences
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714616506719
Descripción
Sumario:Welcome to the 21st Symposium on Principles and Practice of Declarative Programming - PPDP 2019! This year's symposium continues the long tradition of bringing together researchers from the various declarative programming communities, including those working in the functional, logic, answer-set and constraint-solving programming paradigms. PPDP's mission is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object orientation, security, verification and static analysis.
Descripción Física:1 online resource