Skip to Content

POPL 1980

7th Annual ACM Symposium on Principles of Programming Languages

Las Vegas, NV, USA,

funge da

evento origine per pubblicazione

“Sometime” is sometimes “not never”: on the temporal logic of programs (articolo in atti, 1980) — Leslie Lamport

ricerca • tutti

7th Annual ACM Symposium on Principles of Programming Languages

— acronimo

POPL 1980

— tipo

simposio

— serie

POPL (7th, 1980)

dove e quando

— dove

Las Vegas, NV, USA

URL