Paper Abstract and Keywords |
Presentation |
2013-01-10 15:15
Using SAT Solvers for Solving Control-Instruction Layout Problems in Low-Level Assembly Programming for Malbolge Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
Malbolge is known as one of the most esoteric programming languages. Although it became possible to write programs in Malbolge due to the development of the low-level assembly language, we still have a problem that the programming in the low-level assembly language is difficult. This is because for each variable, instructions that take the variable in their arguments are allowed to be placed just above of the variable in the low-level assembly programs, and control-instructions in the low-level assembly language are only unconditional jumps and flip-flop jumps, where the latter alternate jump and no-operations. So far we have to design control structures, i.e., layout of control-instructions, by hand, which is very difficult even if we have an execution tracer for low-level assembly programs. In this paper, to solve this problem, we propose a method to design layout of control-instructions of the low-level assembly language efficiently by using state-of-art SAT solvers. We define a control-instruction layout problem, and propose a SAT encoding for this problem. We also evaluate the performance of control-instruction layout tools based on our method. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Esoteric programming language / Malbolge / SAT solver / Control-Instruction Layout / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 112, no. 373, SS2012-50, pp. 25-30, Jan. 2013. |
Paper # |
SS2012-50 |
Date of Issue |
2013-01-03 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Download PDF |
|
Conference Information |
Committee |
SS |
Conference Date |
2013-01-10 - 2013-01-11 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
|
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
|
Paper Information |
Registration To |
SS |
Conference Code |
2013-01-SS |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Using SAT Solvers for Solving Control-Instruction Layout Problems in Low-Level Assembly Programming for Malbolge |
Sub Title (in English) |
|
Keyword(1) |
Esoteric programming language |
Keyword(2) |
Malbolge |
Keyword(3) |
SAT solver |
Keyword(4) |
Control-Instruction Layout |
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Satoshi Ando |
1st Author's Affiliation |
Nagoya University (Nagoya Univ.) |
2nd Author's Name |
Masahiko Sakai |
2nd Author's Affiliation |
Nagoya University (Nagoya Univ.) |
3rd Author's Name |
Toshiki Sakabe |
3rd Author's Affiliation |
Nagoya University (Nagoya Univ.) |
4th Author's Name |
Keiichirou Kusakari |
4th Author's Affiliation |
Nagoya University (Nagoya Univ.) |
5th Author's Name |
Naoki Nishida |
5th Author's Affiliation |
Nagoya University (Nagoya Univ.) |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2013-01-10 15:15:00 |
Presentation Time |
30 minutes |
Registration for |
SS |
Paper # |
SS2012-50 |
Volume (vol) |
vol.112 |
Number (no) |
no.373 |
Page |
pp.25-30 |
#Pages |
6 |
Date of Issue |
2013-01-03 (SS) |
|