Memory-safe microcontroller applications with the Bedrock structured programming system
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.
Main Author: | Barenblat, Benjamin Ezra |
---|---|
Other Authors: | Adam Chlipala. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2015
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/100294 |
Similar Items
-
The bedrock structured programming system
by: Chlipala, A
Published: (2021) -
The bedrock structured programming system
by: Chlipala, Adam
Published: (2022) -
Redesigning the memory hierarchy for memory-safe programming languages
by: Gan, Yee Ling
Published: (2018) -
An extensible microcontroller and programming environment
by: Andersson, Alexandra Sara Theres, 1978-
Published: (2014) -
SafeJava : a unified type system for safe programming
by: Boyapati, Chandrasekhar, 1973-
Published: (2006)