introduction

Free access

Workshop on programming languages and analysis for security (PLAS 2008)

Staffs:

Marco Pistoia,

Úlfar ErlingssonAuthors Info & Claims

ACM SIGPLAN Notices, Volume 43, Issue 12

Pages 3 - 4

https://doi.org/10.1145/1513443.1513445

Published: 28 February 2009 Publication History

PDF eReader

Abstract

No abstract available.

Cited By

View all

Hallé STremblay-Lessard R(2012)A case for "Piggyback" Runtime MonitoringProceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I10.1007/978-3-642-34026-0_23(295-311)Online publication date: 15-Oct-2012
https://dl.acm.org/doi/10.1007/978-3-642-34026-0_23

Index Terms

Workshop on programming languages and analysis for security (PLAS 2008)
1. General and reference
  1. Document types

Recommendations

PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security
CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security

The 13th ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2018) is co-located with the 25th ACM Conference on Computer and Communications Security (ACM CCS 2018). Over its now more than ten-year history, PLAS has provided a ...
PLAS '17: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security
PLAS '18: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 43, Issue 12

December 2008

37 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/1513443

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 February 2009

Published in SIGPLAN Volume 43, Issue 12

Check for updates

Qualifiers

Introduction

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
112
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hallé STremblay-Lessard R(2012)A case for "Piggyback" Runtime MonitoringProceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I10.1007/978-3-642-34026-0_23(295-311)Online publication date: 15-Oct-2012
https://dl.acm.org/doi/10.1007/978-3-642-34026-0_23

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security

PLAS '17: Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security

PLAS '18: Proceedings of the 13th Workshop on Programming Languages and Analysis for Security

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations