Shevchenko, R.S., Institute of Software Systems NAS of Ukraine
-
No 4 (2003) - Programming methods
Symbolic computation system for dynamical application programming
Abstract PDF (Українська) -
No 2-3 (2018) - Theory and Methodology of Programming
Context term calculus for rewriting systems
Abstract PDF (Українська) -
No 3 (2017) - Methods and facilities of software engineering
Formal and adaptive methods and software tools of parallel programming
Abstract PDF -
No 1 (2019) - Software environment and tools
TermWare3 – term rewriting system, based on context-term calculus
Abstract PDF (Українська) -
No 2-3 (2020) - Applied Software
Static analysis of .NET programs using rewriting rules
Abstract PDF (Українська) -
No 1 (2024) - Programming Languages
Embedding a family of logic languages with custom monadic unification in Scala
Abstract PDF (Українська) -
No 2-3 (2024) - Programming Languages
Representation of monadic effects in the non-monadic form
Abstract PDF (Українська)