Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification |
- pisbn : 978-1-4503-2567-7
- doi : 10.1145/2541568
|
Fulltext
|
Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security |
- pisbn : 978-1-4503-0830-4
- doi : 10.1145/2166956
|
Fulltext
|
Proceedings of the ACM SIGPLAN 6th on Chapel Implementers and Users Workshop |
- pisbn : 978-1-4503-6800-1
- doi : 10.1145/3329722
|
Fulltext
|
Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments |
- pisbn : 978-0-89791-165-8
- doi : 10.1145/800225
|
Fulltext
|
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security |
- pisbn : 978-1-60558-645-8
- doi : 10.1145/1554339
|
Fulltext
|
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis |
- pisbn : 978-1-4503-1490-9
- doi : 10.1145/2259051
|
Fulltext
|
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation |
- pisbn : 978-0-89791-050-7
- doi : 10.1145/800209
|
Fulltext
|
Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness |
- pisbn : 978-1-4503-2103-7
- doi : 10.1145/2492408
|
Fulltext
|
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation |
- pisbn : 978-1-4503-5587-2
- doi : 10.1145/3175493
|
Fulltext
|
Proceedings of the ACM SIGPLAN Workshop on X10 |
- pisbn : 978-1-4503-3586-7
- doi : 10.1145/2771774
|
Fulltext
|