RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Proceedings of the YSU, Physics & Mathematics:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Proceedings of the YSU, Physics & Mathematics, 2018, Volume 52, Issue 2, Pages 109–118 (Mi uzeru466)  

Informatics

On incomparability of interpretation algorithms of typed functional programs with respect to undefined value

D. A. Grigoryan

Chair of Programming and Information Technologies YSU, Armenia

Abstract: In the paper the interpretation algorithms of typed functional programs are considered. The interpretation algorithm is based on substitution, $\beta$-reduction and canonical $\delta$-reduction. It is shown that seven known interpretation algorithms (FS (of full substitution), PES (of parallel external substitution), LES (of left external substitution), PIS (of parallel inner substitution), LIS (of left inner substitution), ACT (active algorithm), PAS (passive algorithm)) are pairwise incomparable with respect to undefined value ($\bot$-incomparable).

Keywords: typed functional program, canonical $\delta$-reduction, interpretation algorithm, $\bot$-incomparability.

Full text: PDF file (154 kB)
References: PDF file   HTML file

Document Type: Article
MSC: 68N18
Received: 07.05.2018
Language: English

Citation: D. A. Grigoryan, “On incomparability of interpretation algorithms of typed functional programs with respect to undefined value”, Proceedings of the YSU, Physics & Mathematics, 52:2 (2018), 109–118

Citation in format AMSBIB
\Bibitem{Gri18}
\by D.~A.~Grigoryan
\paper On incomparability of interpretation algorithms of typed functional programs with respect to undefined value
\jour Proceedings of the YSU, Physics {\&} Mathematics
\yr 2018
\vol 52
\issue 2
\pages 109--118
\mathnet{http://mi.mathnet.ru/uzeru466}


Linking options:
  • http://mi.mathnet.ru/eng/uzeru466
  • http://mi.mathnet.ru/eng/uzeru/v52/i2/p109

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Proceedings of the Yerevan State University, series Physical and Mathematical sciences
    Number of views:
    This page:3

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2018