Skip to Content

POPL 1980

7th Annual ACM Symposium on Principles of Programming Languages
Las Vegas, NV, USA,
works as
origin event for publication
Publication_icon.svg “Sometime” is sometimes “not never”: on the temporal logic of programs (paper in proceedings, 1980) — Leslie Lamport

Events
search • all
7th Annual ACM Symposium on Principles of Programming Languages
— acronym
POPL 1980
— sort
symposium
— series
POPL (7th, 1980)
where & when
— where
Las Vegas, NV, USA
URL
DBLP