Physical Sciences and Mathematics Commons^™

Towards The Development Of A Concurrent Programming Language, Marrium Ayesha

Legacy Theses & Dissertations (2009 - 2024)

In order to fully utilize the potential of current architectures, programmers must program withconcurrency in mind. Concurrent processes can be extremely challenging to reason about due tounexpected program behavior that may emerge from interaction between processes. One approachto deal with this difficulty is to study new programming languages that offer an abstraction forconcurrency. This thesis focuses on developing a logical interpretation for concurrent processesand incorporating it in an existing functional programming language called SML. We developthis feature upon the fact that a proof of a theorem in logic can be expressed as a program in aprogramming language. This relation allows …