Proceedings of the 3rd workshop on Programming languages meets program verification
| Format: | Électronique eBook |
|---|---|
| Langue: | anglais |
| Publié: |
Association for Computing Machinery (ACM),
1/20/09
|
| Sujets: | |
| Accès en ligne: | Full text available on Research4Life (ACM) |
Documents similaires
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 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 3rd International Workshop on Programming for Mobile and Touch
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Proceedings of the 1973 meeting on Programming languages and information retrieval
Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Proceedings of the Programming Languages Mentoring Workshop
Proceedings of the 3rd ACM International Workshop on Context-Oriented Programming
Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience
Proceedings of the 3rd Workshop on Programming Models for SIMD/Vector Processing
Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
Proceedings of the ACM on Programming Languages
Proceedings of the 23rd European Conference on Pattern Languages of Programs
Proceedings of the 3rd international symposium on Principles and practice of programming in Java
Proceedings of the 3rd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection
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 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Companion Proceedings of the 3rd International Conference on the Art, Science, and Engineering of Programming
Proceedings of the Workshop on Future Programming
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation
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