The semantics of the C programming language-Reference-Cited by-同舟云学术

The semantics of the C programming language

Published:1993 Issue: Volume: Page:274-308
ISSN:0302-9743
Container-title:Computer Science Logic
language:
Short-container-title:

Author:

Gurevich Yuri,Huggins James K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56992-8_17.pdf

Reference4 articles.

1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman, “Compilers: Principles, Techniques, and Tools”, Addison-Wesley, 1988.

2. Yuri Gurevich, “Evolving Algebras: An Introductory Tutorial”, Bulletin of European Assocation for Theoretical Computer Science, February 1991. (A slightly updated version will appear in the EATCS Book of Columns, World Scientific Publishers.)

3. Yuri Gurevich and James K. Huggins, “The Evolving Algebra Semantics of C: Preliminary Version”, CSE-TR-141-92, EECS Department, University of Michigan, 1992.

4. Brian W. Kernighan and Dennis M. Ritchie, “The C Programming Language”, 2nd edition, Prentice Hall, 1988.

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

1. A Proof-Generating C Code Generator for ACL2 Based on a Shallow Embedding of C in ACL2;Electronic Proceedings in Theoretical Computer Science;2022-05-24

2. VIP: verifying real-world C idioms with integer-pointer casts;Proceedings of the ACM on Programming Languages;2022-01-12

3. Operational Semantics of Annotated Reflex Programs;Automatic Control and Computer Sciences;2020-12

4. Online and Offline Teaching Mode of C Language Programming;Proceedings of the 2020 The 2nd World Symposium on Software Engineering;2020-09-25

5. Updating graph databases with Cypher;Proceedings of the VLDB Endowment;2019-08