Semantics-based program verifiers for all languages

Authors

Keywords

Journal

ACM SIGPLAN NOTICES

Volume 51, Issue 10, Pages 74-91

Publisher

Association for Computing Machinery (ACM)

Online

2016-12-07

DOI

10.1145/3022671.2984027

References

View 6 related references

Ask authors/readers for more resources

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started

ACM SIGPLAN NOTICES

Ask authors/readers for more resources

Protocol

Reagent

Reprint

Publish scientific posters with Peeref

Ask a Question. Answer a Question.