The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Programming Languages as Mathematical Theories
Abstract
That computer science is somehow a mathematical activity was a view held by many of the pioneers of the subject, especially those who were concerned with its foundations. At face value it might mean that the actual activity of programming is a mathematical one. Indeed, at least in some form, this has been held. But here we explore a different gloss on it. We explore the claim that programming languages are (semantically) mathematical theories. This will force us to discuss the normative nature of semantics, the nature of mathematical theories, the role of theoretical computer science and the relationship between semantic theory and language design.
Related Content
|
R. N. Ravikumar, S. Aarthi, Yulduz Urazbaeva, Zamira Atamuratova, Sadullayeva Moxinur, Jakhongir Shaturaev.
© 2026.
32 pages.
|
|
Arjun Bali, Siddharth Kashiramka, Anshuman Guha, Prashant Gupta.
© 2026.
30 pages.
|
|
Vishal Jain, Archan Mitra, Sanchita Paul.
© 2026.
32 pages.
|
|
Krithikaa Venket.
© 2026.
26 pages.
|
|
Nuraisa Novia Hidayati, Agung Santosa, Elvira Nurfadhilah, Andi Djalal Latief, Kokoy Siti Komariah, Asril Jarin, Siska Pebiana, Yuyun Wabula, Radhiyatul Fajri, Tri Sampurno.
© 2026.
50 pages.
|
|
Piyush Amol Bhosale, Shravani Kulkarni, Amna Kausar, Aditya Shrivastav, Susanta Das.
© 2026.
26 pages.
|
|
Vishal Jain, Archan Mitra.
© 2026.
22 pages.
|
|
|