Search Results

1 - 5 of 5 items :

  • "program semantics" x
Clear All

programming. Cybernetics and Systems Analysis , 45(864), 2009. doi:10.1007/s10559-009-9159-4. (Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 24–35, November–December 2009). [15] Nikolaj S. Nikitchenko. A composition nominative approach to program semantics. Technical Report IT-TR 1998-020, Department of Information Technology, Technical University of Denmark, 1998. [16] N.S. Nikitchenko. Abstract computability of non-deterministic programs over various data structures. In Zamulin A.V. Bjorner D., Broy M., editor, Perspectives of System Informatics: 4th

.1007/978-3-319-67229-8_16. [13] Nikolaj S. Nikitchenko. A composition nominative approach to program semantics. Technical Report IT-TR 1998-020, Department of Information Technology, Technical University of Denmark, 1998. [14] Volodymyr G. Skobelev, Mykola Nikitchenko, and Ievgen Ivanov. On algebraic properties of nominative data and functions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, and Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications – 10th International Conference, ICTERI

Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017: Part II , pages 176–186. Springer International Publishing, 2018. ISBN 978-3-319-67229-8. doi:10.1007/978-3-319-67229-8_16. [14] Nikolaj S. Nikitchenko. A composition nominative approach to program semantics. Technical Report IT-TR 1998-020, Department of Information Technology, Technical University of Denmark, 1998. [15] Volodymyr G. Skobelev, Mykola Nikitchenko, and Ievgen Ivanov. On algebraic properties of nominative data and functions. In Vadim

, Draft, November 16, 1999. [10] S. Mac Lane, Categories for the working mathematician, Graduate Texts in Mathematics, vol. 5, Springer Verlag, 1971. [11] R. Milner, Communication and Concurrency, Prentice Hall, 1989. [12] P. S. Mulry, Lifting theorems for Kleisli categories, Mathematical Foundations of Programming Semantics (MFPS IX) , Lecture Notes in Computer Science , 802 (1994), 304–319. [13] D. Park, Concurrency and automata on infinite sequences, Proceedings of Theoretical Computer Science: 5th GI Conference, Lecture Notes in Computer Science , 104

. Mathematical logic and theory of algorithms . Publishing house of Taras Shevchenko National University of Kyiv, Ukraine (in Ukrainian), 2008. [29] M.S. Nikitchenko and S.S. Shkilniak. Applied logic . Publishing house of Taras Shevchenko National University of Kyiv, Ukraine (in Ukrainian), 2013. [30] Mykola Nikitchenko and Stepan Shkilniak. Algebras and logics of partial quasiary predicates. Algebra and Discrete Mathematics , 23(2):263–278, 2017. [31] Nikolaj S. Nikitchenko. A composition nominative approach to program semantics. Technical Report IT-TR 1998-020, Department