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

Hình thức hành chính thông thường là một đại diện trung gian của chương trình, trong đó mỗi lệnh ngay lập tức có một tên. Nó được sử dụng trong GHC và OCaml . Biểu mẫu K-chuẩn hóa là một biểu diễn trung gian trong đó mỗi lệnh bao gồm …

7 programming-languages  compilers 

Một số trình biên dịch có các hàm tiện ích phân tách các cạnh quan trọng trong biểu đồ luồng điều khiển. Tôi cho rằng điều này không được thực hiện như một sự tối ưu hóa trong chính nó, mà là để đơn giản hóa các phân tích và …

7 compilers  program-optimization  data-flow-analysis 

Khi chuyển đổi các thuật ngữ từ ngôn ngữ này sang ngôn ngữ khác, thuộc tính mong muốn theo trực giác là việc duy trì ngữ nghĩa (như được sử dụng ở đây để chuyển đổi CPS): s⇓v⟹c(s)⇓c(v)s⇓v⟹c(s)⇓c(v) s \Downarrow v \implies c(s) \Downarrow c(v) Tôi có một chút rắc …

7 terminology  logic  compilers  semantics 

Từ Simon Peyton Jones (thành viên Hiệp hội Hoàng gia gần đây), chúng tôi đã đọc bài báo: Thực hiện các ngôn ngữ chức năng lười biếng trên phần cứng chứng khoán: Máy quay không có thẻ Spinless . Bây giờ bài báo này là một phần trong cách họ …

7 compilers 

Tôi muốn hỏi một câu hỏi về nhiều giá trị trả về, tại sao cấu trúc này không thích hợp trong các ngôn ngữ lập trình (khó khăn về khái niệm và / hoặc kỹ thuật). Tôi đã nghe một vài điều về khung stack và cách chúng dự trữ …

7 programming-languages  compilers 

Tôi đang tìm kiếm một kỹ thuật thu gom rác tốt cho ngôn ngữ của mình và tìm thấy bài báo này , trong đó Benjamin Goldberg mô tả một kỹ thuật thu gom rác cho các ngôn ngữ được gõ mạnh, loại bỏ nhu cầu về thông tin loại …

7 programming-languages  compilers  memory-management  empirical-research  garbage-collection 

Có một bài viết tổng quát tốt về việc giải thích hoặc biên dịch REGEXP trong các ngôn ngữ lập trình để khớp mẫu, có hoặc không có biến? Tôi không tìm kiếm một lời giải thích nhanh về việc xây dựng các DFA, nhưng cho một bài viết thực …

7 programming-languages  compilers  regular-expressions  matching  interpreters 

Tôi nghĩ rằng Câu hỏi là tự đủ. Là cú pháp của Ngôn ngữ C được xác định hoàn toàn thông qua Ngữ pháp miễn phí theo ngữ cảnh hay chúng ta có Cấu trúc ngôn ngữ có thể yêu cầu các định nghĩa Không ngữ cảnh miễn phí trong …

7 context-free  programming-languages  compilers  parsing  c 

Tôi đang học lớp Coursera trên các trình biên dịch và trong bài học về từ vựng, có gợi ý rằng có một sự đánh đổi không gian thời gian giữa việc sử dụng máy tự động hữu hạn không xác định (NFA) và máy tự động hữu hạn xác …

7 finite-automata  compilers  efficiency  nondeterminism  lexical-analysis 

Nhiều hoạt động phổ biến là đơn sắc . Haskell đã tận dụng sự quan sát này để làm cho nhiều hàm bậc cao hơn trở nên chung chung hơn ( Foldablelà một ví dụ). Có một cách rõ ràng trong đó sử dụng các đơn sắc có thể được …

7 optimization  compilers  category-theory 

Có thể thiết kế một trình biên dịch tối ưu hóa một vòng lặp trong đó các mảng được truy cập theo cách khác không? Ví dụ như thế này: // int[] a,b int sum = 0; for(int i = 0; i < n; i++) { sum += a[i] + …

7 compilers  arrays  program-optimization  memory-management 

Mô tả vấn đề trừu tượng Theo cách tôi nhìn thấy, unparsing có nghĩa là tạo ra một luồng mã thông báo từ AST, khi được phân tích lại sẽ tạo ra một AST bằng nhau, tức là parse(unparse(AST)) = ASTnên giữ. Điều này tương đương với việc tìm một …

7 algorithms  compilers  parsers  attribute-grammars 

Tôi đã đọc về PHP và nhiều tác giả đề cập đến các lỗi ngữ nghĩa và logic riêng biệt. Như một ví dụ về lỗi ngữ nghĩa, họ đưa ra một hàm được gọi với số lượng tham số không chính xác: điều này sẽ không bị trình phân …

7 terminology  programming-languages  compilers  program-correctness