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

Gần đây tôi đã nhận ra rằng một số các vấn đề tôi đã có một vài năm trước đây cố gắng thực hiện các lý thuyết toán học khác nhau trong Java đi xuống đến một thực tế rằng hệ thống đánh máy trong Java là không đủ mạnh …

8 type-theory  dependent-types  java 

Tôi đang cố gắng chứng minh một số tuyên bố về việc thực thi trong các chương trình Java theo một số hạn chế nặng nề (về cơ bản tôi có một phỏng đoán rằng nếu hai phương thức thỏa mãn một tập các ràng buộc cho một đầu vào …

7 programming-languages  semantics  java  operational-semantics 

Tôi có một câu hỏi về tính kế thừa trong các ngôn ngữ lập trình OO giống như Java. Nó xuất hiện trong lớp trình biên dịch của tôi, khi tôi giải thích cách biên dịch các phương thức và lời gọi của chúng. Tôi đã sử dụng Java làm …

7 programming-languages  semantics  typing  object-oriented  java