ABSTRACT
Applicative information system for the web environment implemented on the basis of the computing system of general purpose, on the basis of a programming language of high level LISP with its immersing in the combinatory environment in basis {K, S} with possible hardware support of combinators of basis is offered. Environment levels are considered: Interface, Combinatory abstract machine, as a support basic element applicative programming environment, System level, Processor {K, S} - level of hardware units K, S and their conjugation to the personal computer, the circuit of the extension of a programming environment for creation of hardware support of basis {K, S}: LISP -- {K, S} - the Assembler -- the Hardware reducers K, S.
- McCarthy, J. et al. 1963. LISP 1.5 programmer's manual. - Cambridge, Mass.: M. I. T. Press. Google ScholarDigital Library
- V. E. Wolfengagen Combinatory logic in programming Computation with objects through examples and exercises. 2-nd ed. 2003.- Moscow, Center JurinfoR, -- vi+334p.Google Scholar
- I. V. Mazhirin, 2009. Combinatory LISP (representation of programming language LISP by combinators. In: Proc. of 11th International Workshop on Computer Science and Information Technologies (CSIT'2009), Vol. 1. USATU, Ufa, Russia, pp. 37--41.Google Scholar
- Mazhirin, I. V. 2010. Data processing by combinators. In: Proc. of 12th International Workshop on Computer Science and Information Technologies (CSIT'2010), Vol. 2. USATU, Ufa, Russia, pp. 149--152.Google Scholar
- Mazhirin, I. 2011. Combinatory Abstract Machine In Proc. of 4th Russian-German Workshop Innovation Information Technologies: Theory and Practice, Ufa, Russia, pp. 33--35.Google Scholar
Index Terms
- Applicative information system for the web environment
Recommendations
The denotational semantics of programming languages
This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey. The application of the theory to formal language specification is demonstrated and other applications are surveyed. The first ...
Desugaring Haskell's do-notation into applicative operations
Haskell '16Monads have taken the world by storm, and are supported by do-notation (at least in Haskell). Programmers are increasingly waking up to the usefulness and ubiquity of Applicatives, but they have so far been hampered by the absence of supporting ...
Comments