CINNAMONS : A Computation Model Underlying Control Network Programming

Kratchanov, Kostadin

doi:10.5121/csit.2017.71101

Cited by 3 publications

(3 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…4, and let Var = {z,x,y,…}. Let us first consider the function f (2) : N 2 N. It is easy to check that f (2) (7,3) = 4, f (2) (7,7) = 0, f (2) (7,0) = 7, and f (2) (3,7) = 0. f (1) (7) = f (2) (7,0) = 7. f (0) () = f (2) (0,0) = 0. f (3) (7,3,8) = f (2) (7,3) = 4. f (4) (7,3,8,2) = f (2) (7,3) = 4.…”

Section: Formal Semanticsmentioning

confidence: 99%

Syntax and Semantics for Cinnamon Programming

Kratchanov

2021

SSRN Journal

Self Cite

View full text Add to dashboard Cite

Cinnamons are a new computation model intended to form a theoretical foundation for Control NetworkProgramming (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.

show abstract

Section: Formal Semanticsmentioning

confidence: 99%

Syntax and Semantics for Cinnamon Programming

Kratchanov

2021

SSRN Journal

Self Cite

View full text Add to dashboard Cite

show abstract

“…4, and let Var = {z,x,y,…}. Let us first consider the function f (2) : N 2 N. It is easy to check that f (2) (7,3) = 4, f (2) (7,7) = 0, f (2) (7,0) = 7, and f (2) (3,7) = 0. f (1) (7) = f (2) (7,0 (2) (0,0) = 0. f (3) (7,3,8) = f (2) (7,3) = 4. f (4) (7,3,8,2) = f (2) (7,3) = 4.…”

Section: Informally Varsmentioning

confidence: 99%

“…This paper is an extended version of the conference publication [1] where cinnamons were first introduced. Cinnamons are a model of computation (like Turing machines, recursive functions, while-programs, RAM machines, etc.)…”

Section: Introductionmentioning

confidence: 99%

Syntax and Semantics for Cinnamon Programming

Kratchanov¹

2017

IJCSIT

Self Cite

View full text Add to dashboard Cite

show abstract

Genetic Algorithms in a Visual Declarative Programming

Golemanova

Golemanov

2022

Wseas Transactions on Information Science and Applications

View full text Add to dashboard Cite

mperative languages like Java, C++, and Python are mostly used for the implementation of Genetic algorithms (GA). Other programming paradigms are far from being an object of study. The paper explores the advantages of a new non-mainstream programming paradigm, with declarative and nondeterministic features, in the implementation of GA. Control Network Programming (CNP) is a visual declarative style of programming in which the program is a set of recursive graphs, that are graphically visualized and developed. The paper demonstrates how the GA can be implemented in an automatic, i.e. non-procedural (declarative) way, using the built-in CNP inference mechanism and tools for its control. The CNP programs are easy to develop and comprehend, thus, CNP can be considered a convenient programming paradigm for efficient teaching and learning of nondeterministic, heuristic, and stochastic algorithms, and in particular GA. The outcomes of using CNP in delivering a course on Advanced Algorithm Design are shown and analyzed, and they strongly support the positive results in teaching when CNP is applied.

show abstract

CINNAMONS : A Computation Model Underlying Control Network Programming

Abstract: We give the easily recognizable name "cinnamon" and "cinnamon programming" to

Cited by 3 publications

References 24 publications

Syntax and Semantics for Cinnamon Programming

Syntax and Semantics for Cinnamon Programming

Syntax and Semantics for Cinnamon Programming

Genetic Algorithms in a Visual Declarative Programming

Contact Info

Product

Resources

About