PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification: Foreword

被引：0

作者：

Filliâtre, Jean-Christophe ^{[1
]}

Flanagan, Cormac ^{[2
]}

机构：

[1] CNRS, France

[2] University of California, Santa Cruz, CA, United States

来源：

PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification | 2010年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] PEPM'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
[J]. Proc ACM SIGPLAN Symp Partial Eval Semantics Based Program M,
[2] PLAS'09 - Proceedings of the ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security: Foreword
Chong, Stephen
Naumann, David
[J]. PLAS'09 - Proceedings of the ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security, 2009,
[3] Proceedings of the ACM SIGPLAN 5th Workshop on Programming Languages and Analysis for Security, PLAS 2010: Preface
Banerjee, Anindya
Garg, Deepak
[J]. Proceedings of the ACM SIGPLAN 5th Workshop on Programming Languages and Analysis for Security, PLAS 2010, 2010,
[4] Erlang'12 - Proceedings of the ACM SIGPLAN Erlang Workshop: Foreword
Hoffmann, Torben
Hughes, John
[J]. Erlang'12 - Proceedings of the ACM SIGPLAN Erlang Workshop, 2012,
[5] Erlang'06 - Proceedings of the ACM SIGPLAN 2006 Erlang Workshop: Foreword
Université de Montréal, Canada
不详
[J]. Proc. ACM SIGPLAN Erlangg Workshop, 2006, (iii):
[6] POPL'10 Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Foreword
Palsberg, Jens
[J]. ACM SIGPLAN NOTICES, 2010, 45 (01) : III - III
[7] ML'09 - Proceedings of the 2009 ACM SIGPLAN Workshop on ML: Foreword
Rossberg, Andreas
[J]. ML'09 - Proceedings of the 2009 ACM SIGPLAN Workshop on ML, 2009,
[8] Haskell '06 - Proceedings of the ACM SIGPLAN 2006 Haskell Workshop: Foreword
Loh, Andres
[J]. Haskell'06 - Proceedings of the ACM SIGPLAN 2006 Haskell Workshop, 2006, 2006
[9] Erlang 2014 - Proceedings of the 2014 ACM SIGPLAN Erlang Workshop: Foreword
[J]. 1600, Association for Computing Machinery
[10] Proceedings of the 2004 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2004) - Foreword
Leroy, X
[J]. ACM SIGPLAN NOTICES, 2004, 39 (01) : III - III

← 1 2 3 4 5 →