Câu hỏi được gắn thẻ «program-analysis»

Điều này được viết trong mục wiki của Thi hành tượng trưng , nhưng tôi không thể tìm thấy bất kỳ tài liệu tham khảo nào cho nó. Bất cứ ai có thể chỉ cho tôi một con trỏ? Cảm ơn bạn.

15 reference-request  lo.logic  program-analysis 

Gần đây tôi đã quan tâm đến vấn đề chung là tối ưu hóa việc sử dụng bộ nhớ trong tình huống có nhiều loại bộ nhớ khả dụng và có sự đánh đổi giữa dung lượng của một phân đoạn bộ nhớ nhất định và tốc độ truy cập …

14 optimization  program-analysis 

Tôi đang viết luận án thạc sĩ về CS và tôi đang làm việc với phân tích bí danh. Điều mà tôi quan tâm là phân tích nội bộ, phân tích nhạy cảm dòng chảy và phân biệt có thể cho các ngôn ngữ giống như Java. Tôi đang tìm …

10 reference-request  pl.programming-languages  compilers  program-analysis 

Bây giờ tôi đang cố gắng để hiểu rõ hơn "diễn giải trừu tượng" trong các ngôn ngữ lập trình là gì. Tôi tìm thấy một chương sách hay giải thích ý tưởng mở rộng miền với một yếu tố ít cố định nhất, bốn tiên đề mang lại một …

9 pl.programming-languages  program-analysis 

Có ai nghĩ về khả năng của một ngôn ngữ lập trình và một trình biên dịch, sao cho trình biên dịch có thể tự động thực hiện phân tích tiệm cận trong trường hợp xấu nhất? Trường hợp sử dụng mà tôi có trong đầu là một ngôn ngữ …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis