Skip to main content
SpringerLink
Log in

Insertion Programming

  • Published:
Cybernetics and Systems Analysis Aims and scope

Abstract

Basic concepts of insertion programming as a new technology of programming are proposed. An insertion program is constructed as a three-level system. The first level is represented by the text of the program in an extended action language. The second level is a function of unfolding agent expressions. The third level is represented by a function of unfolding insertions.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  1. A. A. Letichevskii, Yu. V. “Computations in APS,” Theoretical Computer Science, 119, 145-171 (1993).

    Google Scholar 

  2. Yu. V. Kapitonova and A. A. Letichevskii, “Basic paradigms of programming,” Kibern. Sist. Anal., No. 6, 3-20 (1994).

  3. J. A. Bergstra, A. Ponse, and S. A. Smolka (eds.), Handbook of Process Algebra, North-Holland, Amsterdam, (2001).

    Google Scholar 

  4. R. Milner, A Calculus of Communicating Systems, LNCS, 92 (1980).

  5. R. Milner, “Calculi of synchrony and asynchrony,” Theor. Comp. Sci., 25, 267-310 (1983).

    Google Scholar 

  6. A. A. Letichevskii and D. R. Gilbert, “A general theory of action languages,” Kibern. Sist. Anal., No. 1, 16-36 (1998).

  7. A. Letichevskii and D. Gilbert, “A model for interaction of agents and environments,” in: D. Bert, C. Choppy, and P. Moses (eds.), Recent Trends in Algebraic Development Techniques, LNCS, 1827 (1999), pp. 311-328.

  8. Yu. V. Kapitonova, A. A. Letichevskii, and V. A. Volkov, “Deductive tools of an algebraic programming system,” Kibern. Sist. Anal., No. 1, 17-35 (2000).

  9. D. Park, “Concurrency and automata on infinite sequences,” LNCS, 104, 167-183 (1981).

    Google Scholar 

  10. A. A. Letichevskii, Yu. V. Kapitonova, V. P. Kotlyarov, A. A. Letichevskii Jr., and V. A. Volkov, “Semantics of timed message sequence charts,” Kibern. Sist. Anal., No. 4, 3-14 (2002).

Download references

Author information

Authors and Affiliations

  1. National Academy of Sciences of Ukraine, Cybernetics Institute, Kiev, Ukraine

    A. A. Letichevskii, Yu. V. Kapitonova, V. A. Volkov & V. V. Vyshemirskii

  2. Information Program Systems Co., Ltd, Kiev, Ukraine

    A. A. Letichevskii Jr.

Authors
  1. A. A. Letichevskii
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yu. V. Kapitonova
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. V. A. Volkov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. V. V. Vyshemirskii
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. A. A. Letichevskii Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Letichevskii, A.A., Kapitonova, Y.V., Volkov, V.A. et al. Insertion Programming. Cybernetics and Systems Analysis 39, 16–26 (2003). https://doi.org/10.1023/A:1023812824070

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1023812824070

Search

Navigation