การประชุมสัมมนาเรื่องหลักการของภาษาโปรแกรม

การประชุมวิชาการประจำปีACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages ​​( POPL ) เป็นการ ประชุมทางวิชาการ ในสาขาวิทยาการคอมพิวเตอร์โดยมุ่งเน้นที่หลักการพื้นฐานในการออกแบบ นิยาม วิเคราะห์ และการนำภาษาโปรแกรม ระบบโปรแกรม และอินเทอร์เฟซโปรแกรมไปใช้งาน การประชุมนี้ได้รับการสนับสนุนร่วมกันโดยกลุ่มความสนใจพิเศษ สองกลุ่ม ของสมาคมเครื่องจักรคำนวณ (Association for Computing Machinery ) : SIGPLANและSIGACT

POPL ได้รับการจัดอันดับเป็น A* (4% อันดับแรก) ในการจัดอันดับการประชุม CORE ^{[ 1 ]}

เอกสารการประชุมทั้งหมดเผยแพร่อยู่ในACM Digital Libraryโดยในตอนแรกต้องเสียค่าใช้จ่ายในการเข้าถึงแต่ตั้งแต่ปี 2017 เป็นต้นมา ได้เปิดให้เข้าถึงได้ฟรีในวารสารProceedings of the ACM on Programming Languages ​​(PACMPL)

• ลักษณะเชิงประกาศของการเขียนโปรแกรมมัลติคอร์ (DAMP)
• พื้นฐานและการพัฒนาของภาษาเชิงวัตถุ (FOOL/WOOD)
• การประเมินบางส่วนและการจัดการโปรแกรมตามความหมาย (PEPM)
• การประยุกต์ใช้ภาษาเชิงประกาศในทางปฏิบัติ (PADL)
• เทคโนโลยีภาษาโปรแกรมสำหรับ XML (PLAN-X)
• ประเภทต่างๆ ในการออกแบบและการใช้งานภาษา (TLDI)
• การตรวจสอบความถูกต้อง การตรวจสอบแบบจำลอง และการตีความเชิงนามธรรม (VMCAI)
• ภาษาสำหรับการอนุมาน (LAFI)

• การประชุมวิชาการนานาชาติว่าด้วยการเขียนโปรแกรมเชิงฟังก์ชัน (ICFP)
• การออกแบบและการใช้งานภาษาโปรแกรม (PLDI)
• ความท้าทายของ POPLmark

• เว็บไซต์อย่างเป็นทางการ
• อัตราการตอบรับของงานประชุมเกี่ยวกับคอมไพเลอร์