ACM-SIGACT Symposium on Principles of Programming Languages
container_2qaxtqe2rfgjnfefqcokcnzelq
Homepage URLs
http://www.sigplan.org/Conferences/POPL/ |
Example Publications
Decidable logics combining heap structures and data
P. Madhusudan, Gennaro Parlato, Xiaokang Qiu
2011
|
ACM-SIGACT Symposium on Principles of Programming Languages
doi:10.1145/1926385.1926455 dblp:conf/popl/MadhusudanPQ11
An algebra of relations for machine computation
Patrick Hall, Peter Hitchcock, Stephen Todd
1975
|
ACM-SIGACT Symposium on Principles of Programming Languages
doi:10.1145/512976.512998 dblp:conf/popl/HallHT75
A Formally-Verified C Static Analyzer
Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie
2015
|
ACM-SIGACT Symposium on Principles of Programming Languages
doi:10.1145/2676726.2676966 dblp:conf/popl/JourdanLBLP15
Multivariate amortized resource analysis
Jan Hoffmann, Klaus Aehlig, Martin Hofmann
2011
|
ACM-SIGACT Symposium on Principles of Programming Languages
doi:10.1145/1926385.1926427 dblp:conf/popl/HoffmannAH11