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

Các câu hỏi liên quan đến thiết kế, thực hiện và phân tích các ngôn ngữ lập trình. KHÔNG cho các câu hỏi về cách lập trình, không có chủ đề trên trang web này.

3
Kế thừa và truy cập động vào các thành viên / thuộc tính và phương thức trong các ngôn ngữ giống như Java
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 …
2
Bất biến cho vòng lặp lồng nhau trong chương trình nhân ma trận
Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.