Last modified: 2020-12-26
Abstract
Keywords
References
1. Barendregt H.P. “The lambda calculus (revised edition)”. Studies in Logic, North Holland, Amsterdam, 1984.
2. Cousinean G., Curien P.-L, Mauny M. “The categorical abstract machine”. Science of Computer Programming, 1987; 8(2): 173-202.
3. Curry H.B., Feys R. “Combinatory logic”, Vol. 1. North Holland, Amsterdam, 1958.
4. Roussopulos N.D. “A semantic network model of data bases”, Toronto Univ., Canada, 1976.
5. Scott D.S, “Domains for denotational semantics”, ICALP, 1982, pp. 577-613.
6. Wolfengagen V.E, “Event-driven objects”. In: Proc of the I" International Workshop on Computer Science and information Technologies (CSIT'1999), Vol. 1. MEHBI Publishers, Moscow, Russia, 1999, pb. 88-96.
7. Zykov S.V. “Concept Modeller: a problem-oriented visual SDK for globally distributed enterprise systems”. In: Proc. of the I" Software Engineering Conference (Russia) SEC(R)'2005. Fort-Ross. Moscow, Russia, 2005, pp. 64-72
8. Zykov S.V. “Integrating Enterprise Software Applications with Web Portal Technology”. In Proc. of 5th International Workshop on Computer Science and Information Technologies (CSIT’2003) USATU Publishers, Ufa, Russia, 2003, pp. 60-65.
9. Zykov S.V.“Abstract Machine as a Model of Content Management”. In: Proc. of 6” Workshop on Computer Science and Information Technologies (CSIT'2004), Vol. 1. Budapest, Hungary, 2004, pp. 251-252.
10. Zykov S.V. “Enterprise Portal Content Management: from Model to Application”. In: José Cordeiro, Vitor Pedrosa, Bruno Encamagio, Joaquim Filipe (Lds.) WEBIST 2006, Proc. of the Second International Conference on Web Information Systems and Technologies. INSTICC Press, Setubal, Portugal, 2006, pp. 465-468.