POPL conference proceedings

E35318
academic publication conference proceedings scholarly journal-like series

POPL conference proceedings are the collected scholarly papers presented at the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, a leading venue for research in programming languages and formal methods.

Jump to: Surface forms Statements Referenced by

Observed surface forms (5)

Surface form Occurrences
POPL 2
ACM POPL 1
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 1

Statements (47)

Predicate Object
instanceOf academic publication ⓘ
conference proceedings ⓘ
scholarly journal-like series ⓘ
access online ⓘ
subscription-based ⓘ
associatedWithConference POPL conference proceedings self-linksurface differs ⓘ
surface form: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
audience graduate students ⓘ
researchers in formal methods ⓘ
researchers in programming languages ⓘ
theoretical computer scientists ⓘ
contains formal proofs ⓘ
invited talks ⓘ
peer-reviewed research papers ⓘ
theoretical results ⓘ
tool and system descriptions ⓘ
field formal methods ⓘ
programming languages ⓘ
theoretical computer science ⓘ
frequency annual ⓘ
hasReputation highly selective conference proceedings ⓘ
leading venue in programming languages research ⓘ
language English ⓘ
medium digital ⓘ
print ⓘ
organizedBy ACM Special Interest Group ⓘ
surface form: ACM Special Interest Group on Algorithms and Computation Theory

SIGPLAN ⓘ
surface form: ACM Special Interest Group on Programming Languages
publishedAs conference volume ⓘ
series of volumes ⓘ
publishedBy ACM Special Interest Group ⓘ
surface form: ACM SIGACT

SIGPLAN ⓘ
surface form: ACM SIGPLAN

Association for Computing Machinery ⓘ
publisherImprint ACM Digital Library ⓘ
reviewProcess peer review ⓘ
selectionCriteria rigorous formalization ⓘ
significance to programming languages ⓘ
technical novelty ⓘ
theoretical depth ⓘ
shortName POPL conference proceedings self-linksurface differs ⓘ
surface form: POPL Proceedings
topic compilers theory ⓘ
concurrency theory ⓘ
language design ⓘ
logics of programs ⓘ
program analysis ⓘ
program verification ⓘ
proof assistants and mechanized reasoning ⓘ
semantics of programming languages ⓘ
type systems ⓘ

Referenced by (7)

Full triples — surface form annotated when it differs from this entity's canonical label.

POPL conference proceedings → associatedWithConference → POPL conference proceedings self-linksurface differs ⓘ
this entity surface form: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
ACM SIGPLAN Most Influential POPL Paper Award → conference → POPL conference proceedings ⓘ
this entity surface form: POPL
ACM Digital Library → contains → POPL conference proceedings ⓘ
ACM conferences → include → POPL conference proceedings ⓘ
this entity surface form: ACM POPL
ACM SIGPLAN Most Influential POPL Paper Award → namedAfter → POPL conference proceedings ⓘ
this entity surface form: POPL conference
POPL conference proceedings → shortName → POPL conference proceedings self-linksurface differs ⓘ
this entity surface form: POPL Proceedings
SIGPLAN → sponsor → POPL conference proceedings ⓘ
this entity surface form: POPL