@article{ART001851422},
author={Sugwoo Byun},
title={Implementation of Nondeterministic Compiler Using Monad},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2014},
volume={19},
number={2},
pages={151-159}
TY - JOUR
AU - Sugwoo Byun
TI - Implementation of Nondeterministic Compiler Using Monad
JO - Journal of The Korea Society of Computer and Information
PY - 2014
VL - 19
IS - 2
PB - The Korean Society Of Computer And Information
SP - 151
EP - 159
SN - 1598-849X
AB - We discuss the implementation of a compiler for an imperative programming language, usingmonad in Haskell. This compiler involves a recursive-descent parser conducting nondeterministicparsing, in which backtracking occurs to try with other rules when the application of a productionrule fails to parse an input string. Haskell has some strong facilities for parsing. Its algebraictypes represent abstract syntax trees in a smooth way, and program codes by monad parsing areso concise that they are highly readable and code size is reduced significantly, comparing withother languages. We also deal with the runtime environment of the assembler and code generationwhose target is the Stack-Assembly language based on a stack machine.
KW - Haskell;Monad;Parser Monad;nondeterministic Parsing;Stack Machine
DO -
UR -
ER -
Sugwoo Byun. (2014). Implementation of Nondeterministic Compiler Using Monad. Journal of The Korea Society of Computer and Information, 19(2), 151-159.
Sugwoo Byun. 2014, "Implementation of Nondeterministic Compiler Using Monad", Journal of The Korea Society of Computer and Information, vol.19, no.2 pp.151-159.
Sugwoo Byun "Implementation of Nondeterministic Compiler Using Monad" Journal of The Korea Society of Computer and Information 19.2 pp.151-159 (2014) : 151.
Sugwoo Byun. Implementation of Nondeterministic Compiler Using Monad. 2014; 19(2), 151-159.
Sugwoo Byun. "Implementation of Nondeterministic Compiler Using Monad" Journal of The Korea Society of Computer and Information 19, no.2 (2014) : 151-159.
Sugwoo Byun. Implementation of Nondeterministic Compiler Using Monad. Journal of The Korea Society of Computer and Information, 19(2), 151-159.
Sugwoo Byun. Implementation of Nondeterministic Compiler Using Monad. Journal of The Korea Society of Computer and Information. 2014; 19(2) 151-159.
Sugwoo Byun. Implementation of Nondeterministic Compiler Using Monad. 2014; 19(2), 151-159.
Sugwoo Byun. "Implementation of Nondeterministic Compiler Using Monad" Journal of The Korea Society of Computer and Information 19, no.2 (2014) : 151-159.
