An executable formal semantics of C with applications
- 18 January 2012
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 47 (1), 533-544
- https://doi.org/10.1145/2103621.2103719
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Matching Logic: An Alternative to Hoare/Floyd LogicLecture Notes in Computer Science, 2011
- An overview of the K semantic frameworkThe Journal of Logic and Algebraic Programming, 2010
- Experience reportACM SIGPLAN Notices, 2009
- Mechanized Semantics for the Clight Subset of the C LanguageJournal of Automated Reasoning, 2009
- A Rewriting Logic Approach to Type InferenceLecture Notes in Computer Science, 2009
- Runtime Verification of C Memory SafetyLecture Notes in Computer Science, 2009
- Denotational semantics of ANSI CComputer Standards & Interfaces, 2001
- A study of evaluation order semantics in expressions with side effectsJournal of Functional Programming, 2000
- The semantics of the C programming languageLecture Notes in Computer Science, 1993
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992