Export Citations
2 Results for: Keyword: low-level programming languages
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,833,026 records)|Limit your search to The ACM Full-Text Collection (773,090 records)
Select All
- research-articleSeptember 2013
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier
ICFP '13: Proceedings of the 18th ACM SIGPLAN international conference on Functional programmingPages 391–402https://doi.org/10.1145/2500365.2500592We report on the design and implementation of an extensible programming language and its intrinsic support for formal verification. Our language is targeted at low-level programming of infrastructure like operating systems and runtime systems. It is ...
Also Published in:
ACM SIGPLAN Notices: Volume 48 Issue 9 - research-articleJune 2011
Mostly-automated verification of low-level programs in computational separation logic
PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and ImplementationPages 234–245https://doi.org/10.1145/1993498.1993526Several recent projects have shown the feasibility of verifying low-level systems software. Verifications based on automated theorem-proving have omitted reasoning about first-class code pointers, which is critical for tasks like certifying ...
Also Published in:
ACM SIGPLAN Notices: Volume 46 Issue 6
