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...
Otros Autores: | |
---|---|
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 |
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 |