The main purpose of this article is to describe the taxonomy of computer languages according to the levels of abstraction. There exists so many computer languages because of so many reasons like the evolution of better computer languages over the time; the socio-economic factors as the proprietary interests, commercial advantages; expressive power; ease of use of novice; orientation toward spec...

The growth of the live-coding community has been coupled with a rich development of experimentation in new domainspecific languages, sometimes idiosyncratic to the interests of their performers. Nevertheless, programming language design may seem foreboding to many, steeped in computer science that is distant from the expertise of music performance. To broaden access to designing unique language...

Computer security [16,5] is usually defined as ensuring integrity, confidentiality, and availability requirements even in the presence of a determined, malicious opponent. Sensitive data must be modified and consulted by authorized users only (integrity, confidentiality); moreover, the system should resist “denial of service” attacks that attempt to render it unusable (availability). In more co...

The Veri ed Programming Language Implementation project has developed a formally veri ed implementation of the Scheme programming language. This report documents the byte-code interpreter, which executes a user program presented in the form of a binary image. It speci es several intermediate abstract machines, and proves that they are (successive) faithful implementations of the Vlisp operation...

As a recent discipline, computer science, and programming language research in particular, have so far eluded the eyes of philosophers of science. However, we can gain interesting insights by looking at classical works in philosophy of science and reconsidering their meaning from the perspective of programming language research. This is exactly what I attempt to do in this essay – I will go thr...

A smarter version of the sliding-puzzle game is developed using the Go programming language. The game runs in computer system's terminals. Mainly, it was developed for UNIX-type systems but because of cross-platform compatibility of the programming language used, it works very well in nearly all the operating systems. The game uses Go's concurrency primitives to simplify most of the hefty parts...

Calculus is the mathematical study of change. Process Calculus models the changing behavior of computer processes. Usually a process refers to a running program. λcalculus is a form of process calculus that has been heavily used in the functional programming arena. While, λ-calculus model changes in sequential computer processes, π-calculus formalizes behavior of a concurrent process. In this p...