A case study in language-based security: building an I/O library for Wyvern

Jennifer A. Fish, Darya Melicher, Jonathan Aldrich. A case study in language-based security: building an I/O library for Wyvern. In Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2020, Virtual, November, 2020. pages 34-47, ACM, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.