Proceedings of the 5th ACM workshop on Programming languages meets program verification

Proceedings of the 5th ACM workshop on Programming languages meets program verification

Bibliografiske detaljer
Format:	Electronisk Bog
Sprog:	English
Udgivet:	Association for Computing Machinery (ACM), 1/29/11
Fag:	Conference papers and proceedings.
Online adgang:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Lignende værker

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 4th ACM SIGPLAN workshop on Programming languages meets program verification

Proceedings of the 3rd workshop on Programming languages meets program verification

Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security

Proceedings of the ACM on Programming Languages

Proceedings of the ACM on Programming Languages

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools

Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming

Proceedings of the 5th ACM International Workshop on Context-Oriented Programming

Proceedings of the 1973 meeting on Programming languages and information retrieval

Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution

Proceedings of the Programming Languages Mentoring Workshop

Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security

Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security

Proceedings of the ACM SIGCOMM 2019 Workshop on Networking and Programming Languages

Proceedings of the 5th Workshop on Extreme-Scale Programming Tools

Proceedings of the 5th Program Protection and Reverse Engineering Workshop

Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Udgivet: (2013)

Programming Languages
Udgivet: (2013)

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security

Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs

ACM Letters on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems

ACM Letters on Programming Languages and Systems

Proceedings of the 9th Workshop on Programming Languages and Operating Systems

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 10th Workshop on Programming Languages and Operating Systems

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security

Proceedings of the 11th Workshop on Programming Languages and Operating Systems