Proceedings of the sixth workshop on Programming languages meets program verification
| Formaat: | Elektronisch E-boek |
|---|---|
| Taal: | Engels |
| Gepubliceerd in: |
Association for Computing Machinery (ACM),
1/24/12
|
| Onderwerpen: | |
| Online toegang: | Full text available on Research4Life (ACM) |
Gelijkaardige items
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 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 4th ACM SIGPLAN workshop on Programming languages meets program verification
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Proceedings of the 1973 meeting on Programming languages and information retrieval
Proceedings of the Programming Languages Mentoring Workshop
Proceedings of the sixth international conference on Architectural support for programming languages and operating systems
Proceedings of the ACM on Programming Languages
Proceedings of the Sixth International Workshop on Programming Models and Applications for Multicores and Manycores
Proceedings of the 2020 Sixth Workshop on Programming Models for SIMD/Vector Processing
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security
Proceedings of the 1st Workshop on Programming Language Evolution
Proceedings of the 2007 workshop on Programming languages and analysis for security
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Proceedings of the 2006 workshop on Programming languages and analysis for security
Aksara | Indonesian Language Program
Proceedings of the Workshop on Future Programming
Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Proceedings of the 6th Workshop on Programming Languages and Operating Systems
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security
Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security
Proceedings of the 9th Workshop on Programming Languages and Operating Systems
Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages
Proceedings of the 11th Workshop on Programming Languages and Operating Systems
Proceedings of the 8th Workshop on Programming Languages and Operating Systems
Proceedings of the 10th Workshop on Programming Languages and Operating Systems
Proceedings of the 12th Workshop on Programming Languages and Operating Systems
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security
Proceedings of the 15th Workshop on Programming Languages and Analysis for Security