Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
| Formato: | Recurso Electrónico livro electrónico |
|---|---|
| Idioma: | inglês |
| Publicado em: |
Association for Computing Machinery (ACM),
1/19/10
|
| Assuntos: | |
| Acesso em linha: | Full text available on Research4Life (ACM) |
Registos relacionados
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
Proceedings of the 5th ACM workshop on Programming languages meets program verification
Proceedings of the sixth workshop on Programming languages meets program verification
Proceedings of the 2007 workshop on Programming languages meets program verification
Proceedings of the 7th workshop on Programming languages meets program verification
Proceedings of the 3rd workshop on Programming languages meets program verification
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming
Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Proceedings of the ACM SIGPLAN workshop on Generic programming
Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
Proceedings of the 4th workshop on Programming languages and operating systems
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming
Proceedings of the ACM on Programming Languages
The second ACM SIGPLAN conference on History of programming languages
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Proceedings of the 1973 meeting on Programming languages and information retrieval
Proceedings of the ACM 4th annual workshop on Evaluation and usability of programming languages and tools
Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages