Symposium on Principles of Programming Languages: Difference between revisions

Content deleted Content added
Miym (talk | contribs)
m Undid revision 283948009 by 60.243.183.48 (talk)
m Bot: http → https
 
(55 intermediate revisions by 42 users not shown)
Line 1:
{{Short description|Academic conference in the field of computer science}}
'''POPL''', the annual '''Symposium on Principles of Programming Languages''' reasons for studying ppl are
{{Multiple issues|
1.increase capacity to express ideas
{{Notability|1=Events|date=April 2021}}
2.improved background for choosing appropriate language .
{{More citations needed|date=April 2021}}
3.increase ability to learn new language
{{Primary sources|date=April 2021}}
4.better understanding of significance of implementation.
}}
5.overall advancement of computing.
The annual '''[[Association for Computing Machinery|ACM]] [[SIGPLAN]]-[[SIGACT]] Symposium on Principles of Programming Languages''' ('''POPL''') is an [[academic conference]] in the field of [[computer science]], with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by thetwo [[AssociationSpecial forInterest Computing MachineryGroup]]s of the [[SpecialAssociation Interestfor GroupComputing Machinery]]s: [[SIGPLAN]] and [[SIGACT]].
 
POPL ranks as A* (top 4%) in the CORE conference ranking.<ref>{{Cite web|url=http://portal.core.edu.au/conf-ranks/82/|archive-url=https://web.archive.org/web/20190205083708/http://portal.core.edu.au/conf-ranks/82/|url-status=dead|archive-date=2019-02-05|title=CORE ranking page for POPL|access-date=2019-02-05}}</ref>
== History of the Conference ==
36th [http://www.cs.ucsd.edu/popl/09/ POPL 2009] in Savannah, Georgia, USA
 
The proceedings of the conference are hosted at the [[ACM Digital Library]]. They were initially under a [[paywall]], but since 2017 they are published in [[open access]] as part of the journal ''Proceedings of the ACM on Programming Languages'' (PACMPL).
35th [http://www.cs.ucsd.edu/popl/08/ POPL 2008] in San Francisco, California, USA
 
== Affiliated events ==
34th [http://www.cs.ucsd.edu/popl/08/ POPL 2007] in Nice, France
* [[Declarative Aspects of Multicore Programming]] (DAMP)
* [[Foundations and Developments of Object-Oriented Languages]] (FOOL/WOOD)
* [[Partial Evaluation and Semantics-Based Program Manipulation]] (PEPM)
* [[Practical Applications of Declarative Languages]] (PADL)
* [[Programming Language Technologies for XML]] (PLAN-X)
* [[Types in Language Design and Implementation]] (TLDI)
* [[Verification, Model Checking and Abstract Interpretation]] (VMCAI)
* [[Languages for Inference]] (LAFI)
 
== See also ==
33rd [http://www.cs.princeton.edu/~dpw/popl/06/ POPL 2006] in Charleston, South Carolina, USA
* [[International Conference on Functional Programming]] (ICFP)
* [[Programming Language Design and Implementation]] (PLDI)
* [[POPLmark challenge]]
 
== References ==
32nd [http://www.cs.princeton.edu/~dpw/popl/05/ POPL 2005] in Long Beach, California, USA
{{Reflist|2}}
 
== External links ==
* {{Official website|https://www.sigplan.org/Conferences/POPL}}
* [http://www.acm.org/sigs/sigplan/popl.htm SIGPLAN POPL homepage]
* [http://students.engr.scu.edu/~sschaeck/acceptancerates/ Acceptance Rates of Compiler Conferences]
 
[[Category:{{Association for Computing Machinery]]}}
[[Category:Acronyms]]
{{Authority control}}
[[Category:Association for Computing Machinery]]
[[Category:Computer science conferences]]
 
[[Category:Association for Computing Machinery conferences]]
 
[[Category:ComputerProgramming sciencelanguages conferences]]
{{compu-sci-stub}}