Scholarlink

In this chapter, we shift the focus of our study from the programming language framework that we have been considering and extending since Chap.  5 , to programs written in a realistic programming language. In particular, we introduce theACSLANSI/ISO C Specification Language (ACSL), which is an annotation language forC programsC programs.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Specifying C Programs

  • 章节

  • 发表日期：

    2026年

查看全文
  • José Bacelar Almeida,
  • Maria João Frade,
  • Jorge Sousa Pinto,
  • Simão Melo de Sousa

摘要

In this chapter, we shift the focus of our study from the programming language framework that we have been considering and extending since Chap.  5 , to programs written in a realistic programming language. In particular, we introduce theACSLANSI/ISO C Specification Language (ACSL), which is an annotation language forC programsC programs.