Theory of Programming Languages

A programming language is a set of rules for communication of an algorithm that provides a way to tell a computer how to perform operations. Programming Languages research wraps a wide range of principles, traversing a catalogue of authentic and tested by the methods and procedures ranging from systems theory. In this, research researchers are focused the five major points of it: semantics, type systems, program analysis, program transformation, and implementation. This report is a summary of open issues and challenges revealed.
The goal of this paper to improve programming language is an object of investigation software. Achieving this usually means research ideas, in some form, eventually adopted by programmers.
            Programming languages are memorandum for illustrating computations to people and machinery. The world as we know it pivots on the programming language, because all of the software on all the computers is written in programming Languages.
Programming Languages research covers a accommodate area of systems work in theory. On the analytical angle programming Language research Roots in the work of Schonfinkel, Curry, Kleene, and the Church in the 1920s and 1930s. On the practical angle, it has been impacted by developments in hardware starting with the Von Neumann architecture from the 1950s to the heterogeneous distributed network today. The development of software engineering at its requirements, feasibility, reliability and performance had a major influence on in the place. The Programming Languages research field is mainly related to the analysis of general principles and procedures. It is not about a few exceptions, however for the invention of new languages. Many of the results of the field are usually associable to all kinds of language prototype, including operational languages, functional and logical languages, Object-oriented languages, etc.