Matches in SemOpenAlex for { <https://semopenalex.org/work/W147488175> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W147488175 abstract "The Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003) was held as part of the federated conference titled Principles, Logics, and Implementations of high-level programming languages (PLI 2003). Other meetings held during PLI 2003 were the 8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003), the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003), the Workshop on Declarative Programming in the Context of OO Languages (DP-COOL'03), the Workshop on Mechanized Reasoning about Languages with Variable Binding (MERLIN 2003), the 2003 Haskell Workshop, and the 2003 Erlang Workshop. These events are organized by SIGPLAN, ACM's Special Interest Group on Programming Languages. Previous PLI meetings were held in Paris (September 1999), Montreal (September 2000), Firenze (September 2001), and Pittsburgh (October 2002).PPDP aims to stimulate research in the use of logical formalisms and methods for analyzing, specifying, and performing computations. Of general interest to this meeting are all aspects surrounding declarative programming languages such as logic programming, functional logic programming, and constraint programming. Topics of more specific interest are enhancements to such formalisms with mechanisms for concurrency, mobility, modularity, 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, PPDP welcomes papers on the use of logic based principles in the design of tools for program development, analysis, and verification relative to all programming paradigms.A total of 48 submissions were received in response to the call for papers. The CyberChair conference management system was used to handle submissions and the electronic program committee meeting. Each paper was reviewed by at least three referees and 24 papers were accepted for publication in these proceedings. In addition to the selected presentations, the scientific program contained invited talks by Bruno Blanchet (Max Planck Institut fur Informatik, Saarbrucken) and Mogens Nielsen (BRICS, University of Aarhus), as well as a joint PPDP-ICFP invited talk by Mitchell Wand (Northeastern University, Boston)." @default.
- W147488175 created "2016-06-24" @default.
- W147488175 creator A5009640372 @default.
- W147488175 creator A5018394339 @default.
- W147488175 date "2003-08-27" @default.
- W147488175 modified "2023-09-23" @default.
- W147488175 title "Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming" @default.
- W147488175 hasPublicationYear "2003" @default.
- W147488175 type Work @default.
- W147488175 sameAs 147488175 @default.
- W147488175 citedByCount "1" @default.
- W147488175 countsByYear W1474881752015 @default.
- W147488175 crossrefType "proceedings-article" @default.
- W147488175 hasAuthorship W147488175A5009640372 @default.
- W147488175 hasAuthorship W147488175A5018394339 @default.
- W147488175 hasConcept C105795698 @default.
- W147488175 hasConcept C128838566 @default.
- W147488175 hasConcept C137631369 @default.
- W147488175 hasConcept C146206909 @default.
- W147488175 hasConcept C171018156 @default.
- W147488175 hasConcept C173404611 @default.
- W147488175 hasConcept C18701968 @default.
- W147488175 hasConcept C193702766 @default.
- W147488175 hasConcept C199305712 @default.
- W147488175 hasConcept C199360897 @default.
- W147488175 hasConcept C2524010 @default.
- W147488175 hasConcept C33923547 @default.
- W147488175 hasConcept C34165917 @default.
- W147488175 hasConcept C41008148 @default.
- W147488175 hasConcept C42383842 @default.
- W147488175 hasConcept C50033165 @default.
- W147488175 hasConcept C80444323 @default.
- W147488175 hasConcept C96315309 @default.
- W147488175 hasConceptScore W147488175C105795698 @default.
- W147488175 hasConceptScore W147488175C128838566 @default.
- W147488175 hasConceptScore W147488175C137631369 @default.
- W147488175 hasConceptScore W147488175C146206909 @default.
- W147488175 hasConceptScore W147488175C171018156 @default.
- W147488175 hasConceptScore W147488175C173404611 @default.
- W147488175 hasConceptScore W147488175C18701968 @default.
- W147488175 hasConceptScore W147488175C193702766 @default.
- W147488175 hasConceptScore W147488175C199305712 @default.
- W147488175 hasConceptScore W147488175C199360897 @default.
- W147488175 hasConceptScore W147488175C2524010 @default.
- W147488175 hasConceptScore W147488175C33923547 @default.
- W147488175 hasConceptScore W147488175C34165917 @default.
- W147488175 hasConceptScore W147488175C41008148 @default.
- W147488175 hasConceptScore W147488175C42383842 @default.
- W147488175 hasConceptScore W147488175C50033165 @default.
- W147488175 hasConceptScore W147488175C80444323 @default.
- W147488175 hasConceptScore W147488175C96315309 @default.
- W147488175 hasOpenAccess W147488175 @default.
- W147488175 hasRelatedWork W1549758180 @default.
- W147488175 hasRelatedWork W1555676557 @default.
- W147488175 hasRelatedWork W1577159241 @default.
- W147488175 hasRelatedWork W1991473755 @default.
- W147488175 hasRelatedWork W205709654 @default.
- W147488175 hasRelatedWork W2912582951 @default.
- W147488175 hasRelatedWork W2912791286 @default.
- W147488175 hasRelatedWork W2912807514 @default.
- W147488175 hasRelatedWork W2912965312 @default.
- W147488175 hasRelatedWork W2913440431 @default.
- W147488175 hasRelatedWork W2913791794 @default.
- W147488175 hasRelatedWork W2914136816 @default.
- W147488175 hasRelatedWork W2914233782 @default.
- W147488175 hasRelatedWork W2914577913 @default.
- W147488175 hasRelatedWork W2914692039 @default.
- W147488175 hasRelatedWork W2914764182 @default.
- W147488175 hasRelatedWork W3148048100 @default.
- W147488175 hasRelatedWork W66542914 @default.
- W147488175 hasRelatedWork W95729046 @default.
- W147488175 hasRelatedWork W1798073562 @default.
- W147488175 isParatext "false" @default.
- W147488175 isRetracted "false" @default.
- W147488175 magId "147488175" @default.
- W147488175 workType "article" @default.