Nghiên cứu kỹ thuật giải thích trừu tượng : Luận văn ThS. Toán học: 60 46 01 10
Electronic Resources
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
ĐHKHTN
2017
|
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/39319 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |
| id |
oai:112.137.131.14:VNU_123-39319 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-393192018-08-21T03:44:57Z Nghiên cứu kỹ thuật giải thích trừu tượng : Luận văn ThS. Toán học: 60 46 01 10 Nguyễn, Thanh Liêm Nguyễn, Trường Thắng Electronic Resources Chương 1 -Tổng quan: Tập trung vào các khái niệm liên quan đến kiểm chứng phần mềm, phân tích chương trình tĩnh, tiếp cận lý thuyết của kỹ thuật giải thích trừu tượng trong phân tích chương trình tĩnh, tình hình nghiên cứu ở trong và ngoài nước. Chương 2: Cơ sở lý thuyết của kỹ thuật giải thích trừu tượng: Tập trung vào cơ sở lý thuyết toán học của kỹ thuật giải thích trừu tượng, các phương pháp trừu tượng hóa ngữ nghĩa chương trình, biểu diễn ngữ nghĩa của chương trình thông qua các kỹ thuật trừu tượng, ..., và ứng dụng trong kỹ thuật giải thích trừu tượng. Chương 3: Thử nghiệm: Tập trung vào việc cài đặt phương pháp phân tích chương trình tĩnh bằng kỹ thuật giải thích trừu tượng dựa trên bộ công cụ mã nguồn mở TVLA, làm rõ các ứng dụng trong phân tích hình dạng 2017-05-17T07:18:51Z 2017-05-17T07:18:51Z 2014 Thesis Nguyễn, T. L. (2014). Nghiên cứu kỹ thuật giải thích trừu tượng. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam 01050002095 http://repository.vnu.edu.vn/handle/VNU_123/39319 vi Luận văn Ngành Toán học cho máy tính và Hệ thống tính toán (Full) 80 tr. application/pdf ĐHKHTN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
Vietnamese |
| description |
Electronic Resources |
| author2 |
Nguyễn, Trường Thắng |
| author_facet |
Nguyễn, Trường Thắng Nguyễn, Thanh Liêm |
| format |
Theses and Dissertations |
| author |
Nguyễn, Thanh Liêm |
| spellingShingle |
Nguyễn, Thanh Liêm Nghiên cứu kỹ thuật giải thích trừu tượng : Luận văn ThS. Toán học: 60 46 01 10 |
| author_sort |
Nguyễn, Thanh Liêm |
| title |
Nghiên cứu kỹ thuật giải thích trừu tượng : Luận văn ThS. Toán học: 60 46 01 10 |
| title_short |
Nghiên cứu kỹ thuật giải thích trừu tượng : Luận văn ThS. Toán học: 60 46 01 10 |
| title_full |
Nghiên cứu kỹ thuật giải thích trừu tượng : Luận văn ThS. Toán học: 60 46 01 10 |
| title_fullStr |
Nghiên cứu kỹ thuật giải thích trừu tượng : Luận văn ThS. Toán học: 60 46 01 10 |
| title_full_unstemmed |
Nghiên cứu kỹ thuật giải thích trừu tượng : Luận văn ThS. Toán học: 60 46 01 10 |
| title_sort |
nghiên cứu kỹ thuật giải thích trừu tượng : luận văn ths. toán học: 60 46 01 10 |
| publisher |
ĐHKHTN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/39319 |
| _version_ |
1680967637261090816 |