A programming language definition consists of two parts: syntax and semantics. K Framework is an actively developed formalism aimed to address the semantics part. While K has its own capabilities to ...

This paper presents a formal definition of Alan. Alan is a programming language that aims to integrate both the agent-oriented and the object-oriented programming. The end is to take advantages from ...

Assignments of the "Principles of Programming Languages" (PPL) course taught at the Computer Science Department of BGU. The Assignments focuses on: Functional programing in JavaScript & TypeScript.