Type-directed compilation of ML supporting interoperable memory management system

Thesis

Nguyễn Hữu Đức

Japan

Japan advanced institute of science and technology

2006

Tiếng Anh

Ngôn ngữ lập trình, Tin học, Quản lí

Nghiên cứu ngôn ngữ lập trình. Trình bày một số phương pháp dịch dựa trên thông tin kiểu cho ML nhằm đạt được mục tiêu tương tác cao giữa ML và các ngôn ngữ thủ tục. Phương pháp dịch này hỗ trợ một mô hình quản lí bộ nhớ trong đó các số nguyên, số thực và