Đang tải... (xem toàn văn)
Thông tin tài liệu
Ngày đăng: 25/03/2015, 10:23
Từ khóa liên quan
Mục lục
MỤC LỤC
DANH MỤC CÁC KÝ HIỆU , THUẬT NGỮ, CHỮ VIẾT TẮT
DANH MỤC CÁC BẢNG
PHÂN MƠ ĐÂU
Tính cấp thiết của đề tài
Mục tiêu của luận văn
Phuơng pháp nghiên cứu
Bố cục của luận văn
CHƯƠNG 1. MỘT SỐ KIẾN THỨC CƠ SỞ
1.1. Các lý thuyết nền tảng về hệ thống kiểu
1.1.1. Khái niệm hệ thống kiểu
1.1.2. Vai tro cua hê thông kiêu
1.1.3. Các thuộc t́nh cơ bản của hệ thống kiểu
1.1.4. Các ứng dụng v̀ ́ ngh̃a kinh tế của hệ thống kiểu
1.1.5. Hệ thống kiểu trong việc chính thức hóa ngôn ngữ kiểu
1.2. Bộ nhớ giao tác phần mềm
1.2.1. Khái niệm v̀ các thuộc t́nh cơ bản của giao tac
1.2.2. Bộ nhớ giao tác phần mềm
CHƯƠNG 2. FEATHERWEIGHT JAVA CÓ GIAO TÁC
2.1. Cú pháp
Trích đoạn
Tài liệu cùng người dùng
Tài liệu liên quan