Start Over
You searched for: author_facet ACM Symposium on Principles of Programming Languages

Search Results

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

Location Call # Status
Joyner - General Stacks QA76.76.V47 V53 2004 ✔ Available
Cover image for Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Location
Access Content Online
Cover image for Conference record of POPL 2002

Conference record of POPL 2002

Location
Access Content Online
Cover image for Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Location
Access Content Online
Cover image for Conference record of POPL '00

Conference record of POPL '00

Location
Access Content Online
Cover image for Conference record of the Fourteenth Annual ACM Symposium on Principles of Programing Languages

Conference record of the Fourteenth Annual ACM Symposium on Principles of Programing Languages

Location
Access Content Online
Cover image for Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

Location
Access Content Online
Cover image for Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages

Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages

Location
Access Content Online
Cover image for Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Location
Access Content Online
Cover image for Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages

Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages

Location
Access Content Online