본문

  1. Home
  4. Thesis
6 Results:SS:PROGRAMMINGLANGUAGE 0.234 sec.
RSS 
Multilingual
 Advanced Search
 New arrival Search
Selected Print 선택엑셀내보내기
1
Revisiting Program Slicing with Ownership-Based Information Flow.
Revisiting Program Slicing with Ownership-Based Information Flow.
Crichton, William Perry. | Stanford University. | 2022
Print
2
Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing.
Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing.
Chakraborty, Saikat.Computer Science. | Columbia University. | 2022
Print
3
Programming Abstractions and Efficient Compilation Techniques for Modern FPGA.
Programming Abstractions and Efficient Compilation Techniques for Modern FPGA.
Vega, Luis.Computer Science and Engineering. | University of Washington. | 2022
Print
4
Safe Programming over Distributed Streams.
Safe Programming over Distributed Streams.
Stanford, Caleb.Computer and Information Science. | University of Pennsylvania. | 2022
Print
5
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
Mechanized Reasoning about "How" Using Functional Programs and Embeddings.
Li, Yao.Computer and Information Science. | University of Pennsylvania. | 2022
Print
6
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes.
Emre, Mehmet.Computer Science. | University of California, Santa Barbara. | 2022
Print
처음1마지막