Proceedings of the 7th workshop on Programming languages meets program verification

Proceedings of the 7th workshop on Programming languages meets program verification

Detaylı Bibliyografya
Materyal Türü:	Elektronik Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Association for Computing Machinery (ACM), 1/22/13
Konular:	Conference papers and proceedings.
Online Erişim:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Benzer Materyaller

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

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

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

Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification

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

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

Proceedings of the 1973 meeting on Programming languages and information retrieval

Proceedings of the Programming Languages Mentoring Workshop

Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Baskı/Yayın Bilgisi: (2013)

Programming Languages
Baskı/Yayın Bilgisi: (2013)

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

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

Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming

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

Proceedings of the ACM on Programming Languages

Proceedings of the ACM on Programming Languages

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 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

Proceedings of the 4th workshop on Programming languages and operating systems

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

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

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

Programming languages : design and implementation /
Yazar:: Pratt, Terrence W.
Baskı/Yayın Bilgisi: (2006)

Programming languages : paradigm and practice /
Yazar:: Appleby, Doris
Baskı/Yayın Bilgisi: (1997)

Programming languages : design and implementation /
Yazar:: Pratt, Terrence W.
Baskı/Yayın Bilgisi: (1996)

Programming languages : concepts and constructs /
Yazar:: Sethi, Ravi
Baskı/Yayın Bilgisi: (2007)

Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores

Proceedings of the 2006 workshop on Programming languages and analysis for security

Proceedings of the 2007 workshop on Programming languages and analysis for security

Proceedings of the 1st Workshop on Programming Language Evolution

Proceedings of the Seventh Workshop on Programming Languages and Operating Systems

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security

Proceedings of the Fifth Workshop on Programming Languages and Operating Systems

Programming Languages and Systems
Baskı/Yayın Bilgisi: (2013)