Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450325448

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Session details: Program analysis 3

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250022 ◽

2014 ◽

Author(s):

Ahmed Bouajjani

Keyword(s):

Program Analysis

Download Full-text

Session details: Semantic models 1

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250021 ◽

2014 ◽

Author(s):

Nick Benton

Keyword(s):

Semantic Models

Download Full-text

Session details: Probability

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250016 ◽

2014 ◽

Author(s):

Nikhil Swamy

Download Full-text

Session details: Model checking and SMT

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250024 ◽

2014 ◽

Author(s):

Noam Rinetzky

Keyword(s):

Model Checking

Download Full-text

Session details: Program analysis 2

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250012 ◽

2014 ◽

Author(s):

Thomas Wies

Keyword(s):

Program Analysis

Download Full-text

Session details: Semantics of systems

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250011 ◽

2014 ◽

Author(s):

James Cheney

Download Full-text

Session details: Reasoning

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250018 ◽

2014 ◽

Author(s):

Andrey Rybalchenko

Download Full-text

Session details: Synthesis

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250014 ◽

2014 ◽

Author(s):

Aditya Nori

Download Full-text

Session details: Concurrent programming models

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250015 ◽

2014 ◽

Author(s):

Viktor Vafeiadis

Keyword(s):

Concurrent Programming ◽

Programming Models

Download Full-text

Session details: Functional programming 2

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 ◽

10.1145/3250026 ◽

2014 ◽

Author(s):

Neelakantan R. Krishnaswami

Keyword(s):

Functional Programming

Download Full-text

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Session details: Program analysis 3

Session details: Semantic models 1

Session details: Probability

Session details: Model checking and SMT

Session details: Program analysis 2

Session details: Semantics of systems

Session details: Reasoning

Session details: Synthesis

Session details: Concurrent programming models

Session details: Functional programming 2

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14
Latest Publications