Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912582951> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2912582951 abstract "This volume contains the papers presented at the 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP 2005), held in Lisboa, Portugal, July 11-13, 2005. This symposium is the seventh in this series of international meetings on declarative programming. The previous meetings were held in Verona, Italy in 2004, Uppsala, Sweden in 2003, Pittsburgh, USA in 2002, Firenze, Italy in 2001, Montreal, Canada in 2000, and Paris, France in 1999.PPDP 2005 aims to provide a forum that brings together those in the declarative programming communities, including those working in the logic, constraint, and functional programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, and to stimulate cross-fertilization by including work from one community that could be of particular interest and relevance to the others. Topics of more specific interest include enhancements to such formalisms with mechanisms for mobility, modularity, concurrency, object-orientation, and static analysis, as well as the fuller exploitation of the programming-as-proof-search framework through new designs and improved implementation methods. At the level of methodology, the use of logic-based principles in the design of tools for program development, analysis, and verification relative to all declarative paradigms is of interest.A total of 45 submissions were received in response to the call for papers. Each paper was reviewed by three referees and 20 papers were accepted for publication in these proceedings. In addition to the accepted papers, the scientific program included an invited talk by Manuel Hermenegildo (Technical University of Madrid and University of New Mexico), as well as two invited talks joint with the 32nd International Colloquium on Automata, Languages, and Programming (ICALP 2005), given by Giuseppe Castagna (ENS Paris) and John Mitchell (Stanford University)." @default.
- W2912582951 created "2019-02-21" @default.
- W2912582951 creator A5077525447 @default.
- W2912582951 creator A5090020170 @default.
- W2912582951 date "2005-07-11" @default.
- W2912582951 modified "2023-09-26" @default.
- W2912582951 title "Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming" @default.
- W2912582951 hasPublicationYear "2005" @default.
- W2912582951 type Work @default.
- W2912582951 sameAs 2912582951 @default.
- W2912582951 citedByCount "0" @default.
- W2912582951 crossrefType "proceedings-article" @default.
- W2912582951 hasAuthorship W2912582951A5077525447 @default.
- W2912582951 hasAuthorship W2912582951A5090020170 @default.
- W2912582951 hasConcept C105795698 @default.
- W2912582951 hasConcept C115903868 @default.
- W2912582951 hasConcept C128838566 @default.
- W2912582951 hasConcept C137631369 @default.
- W2912582951 hasConcept C146206909 @default.
- W2912582951 hasConcept C171018156 @default.
- W2912582951 hasConcept C173404611 @default.
- W2912582951 hasConcept C193702766 @default.
- W2912582951 hasConcept C199360897 @default.
- W2912582951 hasConcept C2524010 @default.
- W2912582951 hasConcept C2779478453 @default.
- W2912582951 hasConcept C33923547 @default.
- W2912582951 hasConcept C34165917 @default.
- W2912582951 hasConcept C41008148 @default.
- W2912582951 hasConcept C50033165 @default.
- W2912582951 hasConcept C54355233 @default.
- W2912582951 hasConcept C86803240 @default.
- W2912582951 hasConceptScore W2912582951C105795698 @default.
- W2912582951 hasConceptScore W2912582951C115903868 @default.
- W2912582951 hasConceptScore W2912582951C128838566 @default.
- W2912582951 hasConceptScore W2912582951C137631369 @default.
- W2912582951 hasConceptScore W2912582951C146206909 @default.
- W2912582951 hasConceptScore W2912582951C171018156 @default.
- W2912582951 hasConceptScore W2912582951C173404611 @default.
- W2912582951 hasConceptScore W2912582951C193702766 @default.
- W2912582951 hasConceptScore W2912582951C199360897 @default.
- W2912582951 hasConceptScore W2912582951C2524010 @default.
- W2912582951 hasConceptScore W2912582951C2779478453 @default.
- W2912582951 hasConceptScore W2912582951C33923547 @default.
- W2912582951 hasConceptScore W2912582951C34165917 @default.
- W2912582951 hasConceptScore W2912582951C41008148 @default.
- W2912582951 hasConceptScore W2912582951C50033165 @default.
- W2912582951 hasConceptScore W2912582951C54355233 @default.
- W2912582951 hasConceptScore W2912582951C86803240 @default.
- W2912582951 hasLocation W29125829511 @default.
- W2912582951 hasOpenAccess W2912582951 @default.
- W2912582951 hasPrimaryLocation W29125829511 @default.
- W2912582951 hasRelatedWork W110038497 @default.
- W2912582951 hasRelatedWork W147488175 @default.
- W2912582951 hasRelatedWork W1546310874 @default.
- W2912582951 hasRelatedWork W1576727220 @default.
- W2912582951 hasRelatedWork W1577159241 @default.
- W2912582951 hasRelatedWork W205709654 @default.
- W2912582951 hasRelatedWork W2064823908 @default.
- W2912582951 hasRelatedWork W2507299236 @default.
- W2912582951 hasRelatedWork W2912895905 @default.
- W2912582951 hasRelatedWork W2912965312 @default.
- W2912582951 hasRelatedWork W2913440431 @default.
- W2912582951 hasRelatedWork W2913493374 @default.
- W2912582951 hasRelatedWork W2913791794 @default.
- W2912582951 hasRelatedWork W2914233782 @default.
- W2912582951 hasRelatedWork W2914692039 @default.
- W2912582951 hasRelatedWork W2914764182 @default.
- W2912582951 hasRelatedWork W3082252914 @default.
- W2912582951 hasRelatedWork W66542914 @default.
- W2912582951 hasRelatedWork W95729046 @default.
- W2912582951 hasRelatedWork W2774866070 @default.
- W2912582951 isParatext "false" @default.
- W2912582951 isRetracted "false" @default.
- W2912582951 magId "2912582951" @default.
- W2912582951 workType "article" @default.