Cast   Canthostnews   Libol   Catex [ Đăng Ký ] [ Đăng Nhập ]

Thống kê

Tổng tài liệu: 46131
Trong đó:
  • Bài báo: 63
  • Đề tài - Dự án: 192
  • Media: 24
  • Sách: 1038
  • Tài liệu khác: 40696
  • Tiêu chuẩn/ Quy chuẩn: 4118

Danh mục tài liệu

  Khoa học Tự nhiên (15526)
  Khoa học Kỹ thuật (15668)
  Khoa học Đời sống (1682)
  Xã hội và Nhân Văn (569)
  Khoa học Sức khỏe (8557)
  Tiêu chuẩn/Quy chuẩn (4129)

Danh mục Alphabet

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

Semantics-based generation of verification conditions via program specialization (24/07/2019)
We present a method for automatically generating verification conditions for a class of imperative programs and safety properties. Our method is parametric with respect to the semantics of the imperative programming language, as it generates the verification conditions by specializing, using unfold/fold transformation rules, a Horn clause interpreter that encodes that semantics. (nhnhanh)...
Tác giả: E. De Angelis, F. Fioravanti, A. Pettorossi, M. Proietti | Số trang: 31 | Lĩnh vực: CNTT | Năm XB: 2017 | Loại tài liệu: Bài báo


Tiêu đềTải về
  | Số trang: 0
         | Loại file: .pdf
  miễn phí


Tài liệu liên quan
© Copyright 2012 Trung tâm Thông tin Khoa học và Công nghệ - Sở Khoa học & Công nghệ TP. Cần Thơ
Địa chỉ: 118/3 Trần Phú - P.Cái Khế - Q.Ninh Kiều - TPCT
Điện thoại: 0292 3824031   Fax: 0292 3812352
Lượt truy cập:
(Website trong thời gian thử nghiệm)