Content deleted Content added
GmeSalazar (talk | contribs) |
m Bot: http → https |
||
(23 intermediate revisions by 19 users not shown) | |||
Line 1:
{{Short description|Academic conference in the field of computer science}}
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 the two [[Association for Computing Machinery]] [[Special Interest Group]]s: [[SIGPLAN]] and [[SIGACT]].▼
{{Multiple issues|
{{Notability|1=Events|date=April 2021}}
{{More citations needed|date=April 2021}}
{{Primary sources|date=April 2021}}
}}
▲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
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>
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).
== Affiliated events ==
Line 26 ⟶ 19:
* [[Types in Language Design and Implementation]] (TLDI)
* [[Verification, Model Checking and Abstract Interpretation]] (VMCAI)
* [[Languages for Inference]] (LAFI)
== See also ==
Line 33 ⟶ 27:
== References ==
{{
== External links ==
* {{Official website|
* [http://students.engr.scu.edu/~sschaeck/acceptancerates/ Acceptance Rates of Compiler Conferences]
{{Association for Computing Machinery}}
{{Authority control}}
[[Category:Association for Computing Machinery conferences]]
[[Category:Programming languages conferences]]
|