Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

On Randomization of Reduction Strategies for Typeless Lambda Calculus

  • Conference paper
  • First Online:
Information and Communication Technologies in Education, Research, and Industrial Applications (ICTERI 2023)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1980))

  • 184 Accesses

Abstract

It is well known that the functional programming paradigm provides certain advantages, namely increasing the reliability of software development, improving software verification and validation, providing software artefact reusability, and scaling software solutions. But this paradigm is not free from disadvantages also. The most serious of them are redundant memory usage and low-performance productivity. The ideas concerning the implementation of randomization mechanisms into reduction strategies, which is a significant part of the kernel of functional computing systems, are considered in the paper. The authors present simulation tools for studying such a mechanism and give their grounding. They also present the experimental results of the comparison analysis of variants reduction randomization.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Barendregt, H.P.: The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, vol. 103. North Holland (1985)

    Google Scholar 

  2. Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11, 481–494 (1964)

    Article  MathSciNet  MATH  Google Scholar 

  3. Hu, Z., Hughes, J., Wang, M.: How functional programming mattered. Natl. Sci. Rev. 2(3), 349–370 (2015)

    Article  Google Scholar 

  4. Neumann, J.: Advantages and disadvantages of functional programming (2022). https://medium.com/twodigits/advantages-and-disadvantages-of-functional-programming-52a81c8bf446. NEW IT Engineering, Medium. Accessed 02 Apr 2023

  5. Shramenko, V., Kuznietcova, V., Zholtkevych, G.: Studying mixed normalization strategies of lambda terms. In: Chumachenko, D., et al. (eds.) Proceedings of the 2nd International Workshop of IT-professionals on Artificial Intelligence. ProfIT, vol. 3348, pp. 57–68. CEUR Workshop Proceedings (2022)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Mathematics and Computer Science, V.N. Karazin Kharkiv National University, 4, Svobody Sqr, Kharkiv, 61002, Ukraine

    Oleksandr Deineha & Grygoriy Zholtkevych

  2. School of Computer Science, V.N. Karazin Kharkiv National University, 4, Svobody Sqr, Kharkiv, 61002, Ukraine

    Volodymyr Donets

Authors
  1. Oleksandr Deineha
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Volodymyr Donets
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Grygoriy Zholtkevych
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Grygoriy Zholtkevych .

Editor information

Editors and Affiliations

  1. University of Huddersfield, Huddersfield, UK

    Grigoris Antoniou

  2. Ukrainian Catholic University, Lviv, Ukraine

    Vadim Ermolayev

  3. Kherson State University, Kherson, Ukraine

    Vitaliy Kobets

  4. Odessa National Polytechnic University, Odesa, Ukraine

    Vira Liubchenko

  5. University of Klagenfurt, Klagenfurt, Austria

    Heinrich C. Mayr

  6. Kherson State University, Kherson, Ukraine

    Aleksander Spivakovsky

  7. University of Warmia and Mazury in Olsztyn, Olsztyn, Poland

    Vitaliy Yakovyna

  8. V. N. Karazin Kharkiv National University, Kharkiv, Ukraine

    Grygoriy Zholtkevych

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Deineha, O., Donets, V., Zholtkevych, G. (2023). On Randomization of Reduction Strategies for Typeless Lambda Calculus. In: Antoniou, G., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2023. Communications in Computer and Information Science, vol 1980. Springer, Cham. https://doi.org/10.1007/978-3-031-48325-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-48325-7_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-48324-0

  • Online ISBN: 978-3-031-48325-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation