Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912965312> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2912965312 abstract "This volume contains the papers presented at PPDP 2010, the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, held in Hagenberg, Austria, 26--28 July 2010.The PPDP series of conferences is a major forum for researchers and practitioners in the declarative programming communities to present results on leading edge issues of logic, constraint and functional programming, as well as related paradigms. The goal 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 and security. PPDP 2010 continued this tradition, bringing together researchers from the declarative programming communities and related areas (such as specification and theorem proving, database languages, AI languages and knowledge representation) and researchers applying declarative programming techniques to a variety of domains (for example, web services, concurrency, business rules, program analysis, language implementation, etc).This year, 57 papers were submitted to PPDP, and out of 46 papers reviewed the programme committee selected 21 papers for presentation in the symposium. The program committee used the EasyChair conference management system for handling electronic submissions, allocating reviewing duties, and managing reviews. In addition to regular paper sessions, the symposium included two invited talks by Maria Paola Bonacina (Universitadegli Studi di Verona, Italy) and Sumit Gulwani (Microsoft Research, USA).PPDP 2010 was part of the RISC Summer 2010, a series of international scientific events organised by the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz. It was colocated with the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010).The symposium was organised in cooperation with ACM SIGPLAN and was sponsored by the Johannes Kepler University Linz, provincial government of Upper Austria, Austrian Federal Ministry of Science and Research, Linzer Hochschulfonds, Doctoral Program Computational Mathematics (W1214), and Linz AG. Lisa Tolles at Sheridan Printing managed the production of these proceedings." @default.
- W2912965312 created "2019-02-21" @default.
- W2912965312 creator A5043535857 @default.
- W2912965312 creator A5072769917 @default.
- W2912965312 creator A5080230891 @default.
- W2912965312 date "2010-07-26" @default.
- W2912965312 modified "2023-09-23" @default.
- W2912965312 title "Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming" @default.
- W2912965312 hasPublicationYear "2010" @default.
- W2912965312 type Work @default.
- W2912965312 sameAs 2912965312 @default.
- W2912965312 citedByCount "0" @default.
- W2912965312 crossrefType "proceedings-article" @default.
- W2912965312 hasAuthorship W2912965312A5043535857 @default.
- W2912965312 hasAuthorship W2912965312A5072769917 @default.
- W2912965312 hasAuthorship W2912965312A5080230891 @default.
- W2912965312 hasConcept C146206909 @default.
- W2912965312 hasConcept C171018156 @default.
- W2912965312 hasConcept C193702766 @default.
- W2912965312 hasConcept C199360897 @default.
- W2912965312 hasConcept C2524010 @default.
- W2912965312 hasConcept C33923547 @default.
- W2912965312 hasConcept C34165917 @default.
- W2912965312 hasConcept C41008148 @default.
- W2912965312 hasConcept C50033165 @default.
- W2912965312 hasConceptScore W2912965312C146206909 @default.
- W2912965312 hasConceptScore W2912965312C171018156 @default.
- W2912965312 hasConceptScore W2912965312C193702766 @default.
- W2912965312 hasConceptScore W2912965312C199360897 @default.
- W2912965312 hasConceptScore W2912965312C2524010 @default.
- W2912965312 hasConceptScore W2912965312C33923547 @default.
- W2912965312 hasConceptScore W2912965312C34165917 @default.
- W2912965312 hasConceptScore W2912965312C41008148 @default.
- W2912965312 hasConceptScore W2912965312C50033165 @default.
- W2912965312 hasLocation W29129653121 @default.
- W2912965312 hasOpenAccess W2912965312 @default.
- W2912965312 hasPrimaryLocation W29129653121 @default.
- W2912965312 hasRelatedWork W147488175 @default.
- W2912965312 hasRelatedWork W1576727220 @default.
- W2912965312 hasRelatedWork W1577159241 @default.
- W2912965312 hasRelatedWork W190104409 @default.
- W2912965312 hasRelatedWork W205709654 @default.
- W2912965312 hasRelatedWork W2250270048 @default.
- W2912965312 hasRelatedWork W2507299236 @default.
- W2912965312 hasRelatedWork W2912582951 @default.
- W2912965312 hasRelatedWork W2912895905 @default.
- W2912965312 hasRelatedWork W2913440431 @default.
- W2912965312 hasRelatedWork W2913791794 @default.
- W2912965312 hasRelatedWork W2914233782 @default.
- W2912965312 hasRelatedWork W2914434032 @default.
- W2912965312 hasRelatedWork W2914577913 @default.
- W2912965312 hasRelatedWork W2914692039 @default.
- W2912965312 hasRelatedWork W2914764182 @default.
- W2912965312 hasRelatedWork W66542914 @default.
- W2912965312 hasRelatedWork W95729046 @default.
- W2912965312 hasRelatedWork W2115175456 @default.
- W2912965312 hasRelatedWork W2774866070 @default.
- W2912965312 isParatext "false" @default.
- W2912965312 isRetracted "false" @default.
- W2912965312 magId "2912965312" @default.
- W2912965312 workType "article" @default.