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

Tôi đang tìm kiếm tài liệu hướng dẫn bao gồm các bằng chứng chính xác của trình biên dịch, tốt nhất là sử dụng các phương pháp biểu thị, ở cấp độ của một học sinh bắt đầu. Ngoài ra, bạn có biết một số ví dụ trình biên dịch …

20 reference-request  pl.programming-languages  semantics  compilers 

Khử nhiễu là một chuyển đổi chương trình chuyển đổi các chương trình bậc cao thành chương trình bậc nhất. Ý tưởng là đưa ra một chương trình, chỉ có rất nhiều tóm tắt lambda, vì vậy bạn có thể thay thế mỗi lambda bằng một id và mỗi ứng …

15 pl.programming-languages  compilers 

Tôi quan tâm đến việc tối ưu hóa luồng dữ liệu và biểu đồ luồng điều khiển và đặc biệt phức tạp hơn về mặt tính toán. Nhưng cũng sẽ rất thú vị khi biết về những phát minh mới nhất trong lĩnh vực tối ưu hóa lổ nhìn trộm.

14 optimization  compilers 

Tuyên bố nghiên cứu của JM Siskind nêu rõ: Stalin là một trình biên dịch tối ưu hóa cho Đề án thực hiện phân tích tĩnh toàn chương trình và sử dụng kết quả của phân tích đó để tạo mã cực kỳ hiệu quả. Stalin sử dụng một bộ …

14 compilers 

Lý thuyết trình biên dịch dường như là một chủ đề khá hiệu lực. Một số vấn đề mở hoặc nghiên cứu hiện tại đang xảy ra trong lĩnh vực này là gì?

13 soft-question  big-list  open-problem  compilers 

Tôi đã học được điều gì đó về việc triển khai các loại phụ thuộc, như hướng dẫn này , nhưng hầu hết trong số họ đang triển khai các trình thông dịch. Câu hỏi của tôi là, có vẻ như việc thực hiện một trình biên dịch cho loại …

11 type-systems  compilers  dependent-type 

Tối thiểu hóa mạch là vấn đề để giảm thiểu kích thước của một mạch nhất định. Có bất cứ điều gì tương tự cho các chương trình chung? Cụ thể câu hỏi của tôi là - Có tồn tại các thuật toán để giảm thiểu # hướng dẫn cho …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

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 

Tôi quan tâm đến các trình biên dịch được xác minh được chính thức hóa trong lý thuyết loại Martin-Löf, tức là Coq / Agda. Hiện tại tôi đã viết một ví dụ đồ chơi nhỏ. Do đó tôi có thể chứng minh rằng tối ưu hóa của tôi là …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

Theo như tôi biết, một hàm Haskell với các ràng buộc của lớp loại được biên dịch bên trong thành một hàm với các đối số bổ sung nhận từ điển với các cài đặt cần thiết của từng lớp loại cụ thể. Có bất kỳ khả năng nào khác …

9 pl.programming-languages  functional-programming  compilers  type-systems 

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 

Tôi đang xem xét ML để tạo mã hiệu quả hơn (tức là biên dịch thời gian và chạy heuristic). Tôi có một phd (trình biên dịch, hpc), nhưng rất ít kinh nghiệm ML. Tôi sẽ đánh giá cao bất kỳ tài liệu tham khảo cho công việc hiện có. …

8 reference-request  optimization  machine-learning  compilers 

Đóng cửa từ vựng là một kỹ thuật triển khai trong các ngôn ngữ với các chức năng hạng nhất. Tôi quan tâm đến một mô tả hoạt động đơn giản của việc đóng chức năng. Có ai biết mô tả như vậy?

8 reference-request  pl.programming-languages  semantics  compilers