Rezumat articol ediţie STUDIA UNIVERSITATIS BABEŞ-BOLYAI

În partea de jos este prezentat rezumatul articolului selectat. Pentru revenire la cuprinsul ediţiei din care face parte acest articol, se accesează linkul din titlu. Pentru vizualizarea tuturor articolelor din arhivă la care este autor/coautor unul din autorii de mai jos, se accesează linkul din numele autorului.

In this paper we present a short introduction into foundationsof action semantics and its application in functional paradigm. We discussthe use of action semantics for functional paradigm. The obtained resultsare demonstrated on the particular well-known example from informatics - the Fibonacci numbers. The computation of Fibonacci numbers has beenimplemented in the object-oriented functional language OCaml and thedescription of the program is given in action semantics.

Key words and phrases. Action semantics, functional paradigm, actions, semanticaldescription.