%0 Journal Article %1 kratchanovsyntax %A Kratchanov, Kostadin %D 2017 %J International Journal of Computer Science and Information Technology (IJCSIT) %K CNP Computation Control Nondeterminism Programming Recursive Semantics Theoretical While automata computer languages models network paradigms programming programs science %N 5 %P 127 - 150 %R 10.5121/ijcsit.2017.9510 %T Syntax and Semantics for Cinnamon Programming %U http://airccse.org/journal/ijcsit2017_curr.html %V 9 %X Programming (CNP). CNP has established itself as a programming approach combining declarative and imperative features. It supports powerful tools for control of the computation process; in particular, these tools allow easy, intuitive, visual development of heuristic, nondeterministic, or randomized solutions. The paper providesrigorous definitions of the syntax and semantics of the new model of computation, at the same time trying to keep the intuition behind clear. The purposely simplified theoretical model is then compared to both WHILE-programs (thus demonstrating its Turing completeness), and the “real” CNP. Finally, future research possibilities are mentioned that would eventually extend the cinnamon programming and its theoretical foundation into the directions of nondeterminism, randomness and fuzziness.

@article{kratchanovsyntax, abstract = {Programming (CNP). CNP has established itself as a programming approach combining declarative and imperative features. It supports powerful tools for control of the computation process; in particular, these tools allow easy, intuitive, visual development of heuristic, nondeterministic, or randomized solutions. The paper providesrigorous definitions of the syntax and semantics of the new model of computation, at the same time trying to keep the intuition behind clear. The purposely simplified theoretical model is then compared to both WHILE-programs (thus demonstrating its Turing completeness), and the “real” CNP. Finally, future research possibilities are mentioned that would eventually extend the cinnamon programming and its theoretical foundation into the directions of nondeterminism, randomness and fuzziness.}, added-at = {2021-06-23T07:40:31.000+0200}, author = {Kratchanov, Kostadin}, biburl = {https://www.bibsonomy.org/bibtex/22cb66fda43ac49427257e9916bba6c31/shamerjose}, doi = {10.5121/ijcsit.2017.9510}, interhash = {e6de511c22d5b2f39890d9f02c9b641f}, intrahash = {2cb66fda43ac49427257e9916bba6c31}, journal = { International Journal of Computer Science and Information Technology (IJCSIT)}, keywords = {CNP Computation Control Nondeterminism Programming Recursive Semantics Theoretical While automata computer languages models network paradigms programming programs science}, month = oct, number = 5, pages = {127 - 150}, timestamp = {2021-06-23T07:40:31.000+0200}, title = {Syntax and Semantics for Cinnamon Programming}, url = {http://airccse.org/journal/ijcsit2017_curr.html}, volume = 9, year = 2017 }