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

Trên một chủ đề khác , Andrej Bauer đã định nghĩa ngữ nghĩa học biểu thị là: ý nghĩa của một chương trình là một chức năng của ý nghĩa của các bộ phận của nó. Điều làm tôi băn khoăn về định nghĩa này là nó dường như không …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Tôi đã đọc " Ngữ nghĩa với các ứng dụng " của Nielson và Nielson , và tôi thực sự thích chủ đề này. Tôi muốn có thêm một cuốn sách về ngữ nghĩa ngôn ngữ lập trình - nhưng tôi thực sự chỉ có thể có một cuốn sách. …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Hãy xem xét câu hỏi này. Tôi sẽ không chọn một câu trả lời hay nhất vì tất cả chúng đều góp phần vào sự hiểu biết của tôi về chủ đề này. Tôi không chắc chúng ta có lợi ích gì khi chính thức xác định ngữ nghĩa của …

25 lo.logic  semantics 

Dường như với tôi, ngôn ngữ macro được sử dụng bởi có thể được xem là một loại hệ thống viết lại thuật ngữ hoặc một loại ngôn ngữ lập trình với phạm vi gọi theo tên.TEXTEX\TeX Ngay cả các triển khai hiện đại của công cụ (ví dụ ) …

21 pl.programming-languages  semantics  term-rewriting-systems 

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 

Trong phần "Giới thiệu về ngôn ngữ lập trình" của Anthony Aaby về ngữ nghĩa , ông đưa ra nhận xét sau: Phần lớn công việc trong ngữ nghĩa của các ngôn ngữ lập trình được thúc đẩy bởi các vấn đề gặp phải khi cố gắng xây dựng và …

19 imperative-programming  semantics  big-picture 

Tôi chưa quen với lý thuyết ngôn ngữ lập trình và tôi đang tìm kiếm một nguồn tài nguyên tốt về tài nguyên cho ngữ nghĩa chính thức của ngôn ngữ lập trình. Cụ thể tìm kiếm ngữ nghĩa hoạt động cấu trúc. Tôi đã nhận được một số khuyến …

17 reference-request  pl.programming-languages  semantics  formal-systems 

Tôi đang đọc cuốn Thực thi ngôn ngữ lập trình chức năng của Simon Peyton Jones và có một câu khiến tôi hơi ngạc nhiên (ở trang 39): Ở một mức độ lớn hơn nhiều so với trường hợp của các ngôn ngữ mệnh lệnh, các ngôn ngữ chức năng …

17 functional-programming  semantics  imperative-programming 

Có lý thuyết ngôn ngữ lập trình nào mô tả các giao diện chức năng nước ngoài (FFI) và nhiều ràng buộc ngôn ngữ không? Tôi đã hỏi một số vấn đề triển khai trên stackoverflow , không phù hợp ở đây. Nhưng tôi muốn hỏi từ quan điểm của …

16 pl.programming-languages  semantics 

Các nỗ lực xác minh trình biên dịch thường đi xuống để chứng minh trình biên dịch hoàn toàn trừu tượng: rằng nó bảo tồn và phản ánh các tương đương (theo ngữ cảnh). Thay vì cung cấp bằng chứng trừu tượng hóa đầy đủ, một số công việc xác …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Q1. Khi nào chúng ta có thể nói rằng hai chương trình (được viết bằng một số ngôn ngữ lập trình như C ++) là khác nhau? Cực đoan đầu tiên là nói rằng hai chương trình tương đương với nhau nếu chúng giống hệt nhau. Một thái cực khác …

15 pl.programming-languages  semantics  equivalence 

Tuyên bố miễn trừ trách nhiệm : trong khi tôi quan tâm đến lý thuyết loại, tôi không coi mình là một chuyên gia về lý thuyết loại. Trong phép tính lambda được gõ đơn giản, kiểu số 0 không có hàm tạo và hàm khử duy nhất: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

Tôi có câu hỏi liên quan đến các chức năng thuần túy. Theo trang Wikipedia, một trong những điều cần thiết cho một chức năng thuần túy là: Đánh giá kết quả không gây ra bất kỳ tác dụng phụ hoặc đầu ra có thể quan sát được về mặt …

11 functional-programming  semantics 

Từ bài viết chiến lược đánh giá trên Wikipedia: Khái niệm chiến lược giảm trong tính toán lambda là tương tự nhưng khác biệt. Từ bài viết chiến lược rút gọn trên Wikipedia: Nó tương tự nhưng khác biệt tinh tế với khái niệm chiến lược đánh giá trong khoa …

10 pl.programming-languages  lambda-calculus  semantics 

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