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 条

[21] VEE 2010 - Proceedings of the 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments: Foreword
Fiuczynski, Marc E.
Berger, Emery
Warfield, Andrew
[J]. VEE 2010 - Proceedings of the 2010 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2010,
[22] Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation: Foreword
Gallagher, John
Voigtländer, Janis
[J]. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 2010,
[23] MPVA'10 - Proceedings of the 2010 ACM Workshop on Multimodal Pervasive Video Analysis, Co-located with ACM Multimedia 2010: Foreword
Aghajan, Hamid
Cristani, Marco
Murino, Vittorio
Sebe, Nicu
[J]. MPVA'10 - Proceedings of the 2010 ACM Workshop on Multimodal Pervasive Video Analysis, Co-located with ACM Multimedia 2010, 2010,
[24] SSCS'10 - Proceedings of the 2010 ACM Workshop on Searching Spontaneous Conversational Speech, Co-located with ACM Multimedia 2010: Foreword
Larson, Martha
Ordelman, Roeland
Metze, Florian
Kraaij, Wessel
De Jong, Franciska
[J]. SSCS'10 - Proceedings of the 2010 ACM Workshop on Searching Spontaneous Conversational Speech, Co-located with ACM Multimedia 2010, 2010,
[25] LFMTP'12 - Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice: Preface
[J]. Chlipala, A., 1600, Association for Computing Machinery, General Post Office, P.O. Box 30777, NY 10087-0777, United States
[26] PLAS'16-ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security
Murray, Toby
Stefan, Deian
[J]. CCS'16: PROCEEDINGS OF THE 2016 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2016, : 1870 - 1870
[27] Proceedings of the ACM SIGPLAN SIGSOFT Workshop on Program Analysis for Software Tools and Engineering - PASTE '98 Montreal, Canada June 16, 1998 - Foreword
Ball, T
Tip, F
[J]. ACM SIGPLAN NOTICES, 1998, 33 (07) : IV - IV
[28] Erlang'09 - Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, Co-located with the International Conference on Functional Programming, ICFP09: Foreword
Universidad Politécnica de Madrid
不详
[J]. Erlang, Proc. ACM SIGPLAN Workshop Erlang, Co-located Funct. Program. Int. Conf., 2009, (iii):
[29] POPL® 2002:: The 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages® -: Foreword
Mitchell, JC
[J]. ACM SIGPLAN NOTICES, 2002, 37 (01) : III - III
[30] UbiComp'10 - Proceedings of the 2010 ACM Conference on Ubiquitous Computing: Foreword
Truong, Khai N.
Nixon, Paddy
Bardram, Jakob E.
Langheinrich, Marc
[J]. UbiComp'10 - Proceedings of the 2010 ACM Conference on Ubiquitous Computing, 2010,

← 1 2 3 4 5 →