Proceedings of the ACM SIGPLAN 2014 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/11/14
|
| Assuntos: | |
| Acesso em linha: | Full text available on Research4Life (ACM) |
Registos relacionados
Proceedings of the 4th ACM SIGPLAN 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 5th ACM 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 ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Proceedings of the ACM SIGPLAN workshop on Generic programming
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 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 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 1973 meeting on Programming languages and information retrieval
Proceedings of the ACM SIGPLAN 1989 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation