| Item type |
Symposium(1) |
| 公開日 |
2020-10-19 |
| タイトル |
|
|
タイトル |
PRSafe: Primitive Recursive Function Based Domain Specific Programming Language Using LLVM |
| タイトル |
|
|
言語 |
en |
|
タイトル |
PRSafe: Primitive Recursive Function Based Domain Specific Programming Language Using LLVM |
| 言語 |
|
|
言語 |
eng |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
Primitive Recursive Functions，LLVM，Compilers，eBPF verifier，Domain Specific Languages (DSLs) |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
OSAKA UNIVERSITY |
| 著者所属 |
|
|
|
OSAKA UNIVERSITY |
| 著者所属 |
|
|
|
OSAKA UNIVERSITY/Japan Advanced Institute of Science and Technology |
| 著者所属(英) |
|
|
|
en |
|
|
OSAKA UNIVERSITY |
| 著者所属(英) |
|
|
|
en |
|
|
OSAKA UNIVERSITY |
| 著者所属(英) |
|
|
|
en |
|
|
OSAKA UNIVERSITY/Japan Advanced Institute of Science and Technology |
| 著者名 |
SAI, VEERYA MAHADEVAN
YUUKI, TAKANO
ATSUKO, MIYAJI
|
| 著者名(英) |
SAI, VEERYA MAHADEVAN
YUUKI, TAKANO
ATSUKO, MIYAJI
|
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
General Purpose programming languages such as C++, Python suffer from resource management and input errors because they are Turing-complete. These languages assume the properties of a Turing machine, with infinite memory and computational power. For most real world scenarios however, Turing-complete programs are unnecessary. The goal of this paper is to introduce a prototype functional Domain Specific Language (DSL) called PRSafe. It is designed such that syntactically and semantically, it prohibits the creation of Turing-complete programs. PRSafe is eventually intended to be a mathematically verifiable, friendly compiler with better error-diagnostics for eBPF programs than the eBPF verifier. The design of PRSafe is based on the memory and input properties of Primitive Recursive Functions (PRFs). Hence, all computations must terminate. For the language implementation, we use the Lex and Bison softwares for lexing and parsing respectively and LLVM (Low-Level Virtual Machine) compiler infrastructure for code generation and optimization. |
| 書誌情報 |
コンピュータセキュリティシンポジウム2020論文集
p. 94-100,
発行日 2020-10-19
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJCSS2020014.pdf (464.9 kB)
