Dependent Types for Low-Level Programming-Reference-Cited by-同舟云学术

Dependent Types for Low-Level Programming

Published:2007 Issue: Volume: Page:520-535
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Condit Jeremy,Harren Matthew,Anderson Zachary,Gay David,Necula George C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-71316-6_35

Reference21 articles.

1. Anderson, Z.R.: Static analysis of C for hybrid type checking. Tech. Rep. EECS-2007-1, UC Berkeley (2007)

2. Augustsson, L.: Cayenne—a language with dependent types. In: ICFP’98 (1998)

3. Austin, T.M., Breach, S.E., Sohi, G.S.: Efficient detection of all pointer and array access errors. In: PLDI’94 (1994)

4. Carlisle, M.C.: Olden: Parallelizing Programs with Dynamic Data Structures on Distributed-Memory Machines. PhD thesis, Princeton University (June 1996)

5. Condit, J., et al.: Dependent types for low-level programming. Tech. Rep. EECS-2006-129, UC Berkeley (2006)

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Full Spatial and Temporal Memory Safety for C;IEEE Security & Privacy;2024-07

2. A formal model of Checked C1;Journal of Computer Security;2023-10-13

3. A Research Agenda for Space Flight Software Security;2023 IEEE 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT);2023-07

4. Accelerating Type Confusion Detection by Identifying Harmless Type Castings;Proceedings of the 20th ACM International Conference on Computing Frontiers;2023-05-09

5. Improving Automatic C-to-Rust Translation with Static Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05